Directory of Implementations Resources

Home > Computers > Programming > Languages > ML > Implementations

This category holds links on all possible implementations of ML, existing and proposed.

Subcategories

• Caml
• Objective Caml
• Operating Systems

Resources in This Category

• 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.

• 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.

• MLton

  http://mlton.org/
  Whole program optimizing compiler for Standard ML.

• Open Source Release of MLj

  http://www.dcs.ed.ac.uk/home/mlj/
  SML to Java bytecode compiler, based on Persimmon's MLj.

• Poly/ML

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

• 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]

• TILT

  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.

Related Categories

• Home > Computers > Programming > Compilers > Functional
• Home > Computers > Programming > Languages > Comparison and Review
• Home > Computers > Programming > Languages > Compiled > Functional
• Home > Computers > Programming > Languages > Functional
• Home > Computers > Programming > Languages > Garbage Collected
• Home > Computers > Programming > Languages > Open Source

 

Home > Computers > Programming > Languages > ML > Implementations

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us