Standard ML

存在很多SML实现，包括：

标准：

• Standard ML of New Jersey（缩写为SML/NJ），由普林斯顿大学和贝尔实验室在1986年开始联合开发的实现，是一个完全的编译器，具有关联的库、工具、交互式外壳和文档，还支持Concurrent ML[7]。
• MLton，是一个全程序优化编译器，它产生相比其他ML实现非常快的代码[8]。
• ML Kit[9]，由爱丁堡大学的Mads Tofte等人在1989年发起开发[10]，是一个非常紧密的基于了标准定义的实现，它集成了具有基于区域内存管理的垃圾收集器，内存分配指令由编译器推论，可以停用垃圾收集器来支持实时应用。
• Poly/ML[11]，由剑桥大学的David Matthews开发[12]，是一个Standard ML的完全的实现，它产生快速代码并支持多核硬件（通过Posix线程）；它的运行时间系统，进行并行垃圾收集和不可变子结构的在线共享。
• HaMLet[13]，由MPI-SWS的Andreas Rossberg编写，是一个SML解释器，意图成为精确且便宜的标准定义参考实现。
• Moscow ML[14]，是一个轻量级实现，基于了CAML Light运行时引擎。
• LunarML，产生Lua/JavaScript的Standard ML编译器[15]。

派生：

• SML#[16]，是日本东北大学电气通信研究所开发的SML家族新语言，提供了记录多态性和C语言互操作性。它是常规的本机编译器，名字的“#”号不暗示着要在.NET框架上运行。
• Alice，Alice ML是萨尔兰大学开发的基于Standard ML的函数式编程语言，它增加了惰性求值、并发性（多线程和通过远程过程调用的分布式计算）和约束编程特征。
• SOSML[17]，是用TypeScript写的SML实现，可以直接运行在web浏览器内。它实现了大多数SML语言和选择的部份SML基本库。

研究：

• Isabelle/ML，剑桥大学的Larry Paulson开发的Isabelle，将并行Poly/ML集成入交互式定理证明器[18]，它具有一个高端的IDE（基于了jEdit），用于官方Standard ML（SML'97）、Isabelle/ML方言和这个证明语言[19]。开始于Isabelle2016，它还有一个源代码级的ML的调试器。
• CakeML[20]，是一个基于了SML实质性子集的语言，它实现为x86-64机器码的REPL，带有正式验证的运行时间库和到汇编代码的转换。
• TILT[21]，是一个完全验证了的SML编译器，它使用有类型的中间语言来优化代码和确保正确性，并可以编译成有类型的汇编语言。
• Poplog系统实现一个版本的SML，还有POP-11、可选的Common Lisp和Prolog，允许混合语言编程。

所有这些实现都是开源的并可自由的获得。其中多数用SML实现了自身。不再有任何商业SML实现。

证明辅助器HOL4、Isabelle、LEGO和Twelf是用Standard ML写成。它还用于编译器制作和集成电路设计比如ARM[22]。

• OCaml
• F#

• Standard ML Family GitHub Project（页面存档备份，存于）
• Programming in Standard ML（页面存档备份，存于）
• cmlib － A basic library of algorithms and data structures (a la NJlib) （页面存档备份，存于）
• SML Help （页面存档备份，存于）
• Awesome Standard ML （页面存档备份，存于）
• Programming in Standard ML '97: An On-line Tutorial（页面存档备份，存于）
• CSE341: Programming Languages（页面存档备份，存于）, Dan Grossman, University of Washington.
• COMP 105 pages: Learning Standard ML （页面存档备份，存于）