Conservative ML extension, has type system to enrich ML with restricted form of dependent types, to allow many interesting program properties: memory safety, termination can be captured in type system and thus be verified while compiling. Description, code samples, downloads.

EML is a framework for specification and formal development of Standard ML programs. Description, publications, tool support, education resources.

Standard ML compiler.

Framework for customizable, retargetable and optimizing compiler back ends, written in Standard ML. Successfully retargeted to many architectures. Deals elegantly with special requirements imposed by execution model of different high-level, typed languages.

Whole program optimizing compiler for Standard ML.

ML system for DOS, Linux, Windows.

SML to Java bytecode compiler, based on Persimmon's MLj.

Standard ML full implementation: compiler and environment, has libraries for MS Windows, X Window. [Open Source]

SML/NJ is a compiler and programming environment for SML, with associated libraries, tools, documents. Descriptions, news, downloads (Unix, Windows), literature lists, FAQs, links, contacts. [Open Source, Lucent]

Experimental ML extension with run-time overloading and type-based notion of modules, functors and inheritance. Large HTML text document.