This category holds links on all possible implementations of ML, existing and proposed.
More information
More information
Subcategories 3
Related categories 6
Sites 6
EML is a framework for specification and formal development of Standard ML programs. Description, publications, tool support, education resources.
Whole program optimizing compiler for Standard ML.
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]
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.
Whole program optimizing compiler for Standard ML.
EML is a framework for specification and formal development of Standard ML programs. Description, publications, tool support, education resources.
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.
Standard ML full implementation: compiler and environment, has libraries for MS Windows, X Window. [Open Source]
SML to Java bytecode compiler, based on Persimmon's MLj.
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]
Last update:
March 2, 2021 at 6:25:12 UTC
Check out
Home: Gardening: Gardens
- Recently edited by shedragon
- Recently edited by shedragon