  |
Standard ML of New Jersey - http://www.smlnj.org/
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] |
| |
http://mlton.org/ - http://mlton.org/
Whole program optimizing compiler for Standard ML. |
| |
http://www.polyml.org/ - http://www.polyml.org/
Standard ML full implementation: compiler and environment, has libraries for MS Windows, X Window. [Open Source] |
| |
Extended ML - http://homepages.inf.ed.ac.uk/dts/eml/
EML is a framework for specification and formal development of Standard ML programs. Description, publications, tool support, education resources. |
| |
http://www.it-c.dk/research/mlkit/ - http://www.it-c.dk/research/mlkit/
Standard ML compiler. |
| |
Moscow ML - http://www.dina.kvl.dk/~sestoft/mosml.html
ML system for DOS, Linux, Windows. |
| |
Dependent ML: DML - http://www.cs.bu.edu/~hwxi/DML/DML.html
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. |
| |
Open Source Release of MLj - http://www.dcs.ed.ac.uk/home/mlj/
SML to Java bytecode compiler, based on Persimmon's MLj. |
| |
http://www.cs.cornell.edu/info/people/jgm/tilt.html - http://www.cs.cornell.edu/info/people/jgm/tilt.html
TIL-Two compiler; goal: make compiler for ML-family languages (SML'97, Caml Special Light, KML) that uses types throughout compiling to emit better code without losing safety or correctness; joint effort with Carnegie Mellon. Descriptions, papers, people, links. Cornell. |
| |
TILT Compiler - http://www.tilt.cs.cmu.edu/
Self-checking Standard ML compiler, uses Typed Intermediate Languages; while compiling, types are translated with code, type-checking occurs to check compile results; funded by NSF. Descriptions, license, mail list, downloads, links. Carnegie Mellon. |