In Partnership with AOL
See also:
  • 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, termination can be captured in type system and thus be verified while compiling. Description, code samples, downloads.
    [!]
  • Extended ML - EML is a framework for specification and formal development of Standard ML programs. Description, publications, tool support, education resources.
    [!]
  • MLton - Whole program optimizing compiler for Standard ML.
    [!]
  • Open Source Release of MLj - SML to Java bytecode compiler, based on Persimmon's MLj.
    [!]
  • Poly/ML - Standard ML full implementation: compiler and environment, has libraries for MS Windows, X Window. [Open Source]
    [!]
  • 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), literature lists, FAQs, links, contacts. [Open Source, Lucent]
    [!]
  • 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 safety or correctness; joint effort with Carnegie Mellon. Descriptions, papers, people, links. Cornell.
    [!]
Volunteer to edit this category.
Copyright © 1998-2016 AOL Inc. Terms of Use
Visit our sister sites  mozilla.org | MusicMoz | Wikipedia

Last update: January 5, 2016 at 18:45:05 UTC - edit