Scheme

Extended ML Extended ML- EML is a framework for specification and formal development of Standard ML programs. Description, publications, tool support, education resources. TILT TILT- 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 safet… Dependent ML: DML Dependent ML: DML- Conservative ML extension, has type system to enrich ML with restricted form of dependent types, to allow many interesting program properties: memory safety, te… Standard ML of New Jersey Standard ML of New Jersey- SML/NJ is a compiler and programming environment for SML, with associated libraries, tools, documents. Descriptions, news, downloads (Unix, Windows), li… Poly/ML Poly/ML- Standard ML full implementation: compiler and environment, has libraries for MS Windows, X Window. [Open Source] Open Source Release of MLj Open Source Release of MLj- SML to Java bytecode compiler, based on Persimmon's MLj. MLton MLton- Whole program optimizing compiler for Standard ML.