Standard ML Family GitHub Project
This is the web page for the Standard ML Family GitHub
project (organization name: SMLFamily). This site is very much "under
construction", and it is in the process of replacing the earlier
SourceForge web site for standardml.org (which now redirects to this page).
The Standard ML Family project provides a home for online versions
of various formal definitions of Standard ML, including the
"Definition of Standard ML, Revised" (Standard ML 97).
The site also supports coordination between different
implementations of the Standard ML (SML) programming language by
maintaining common resources such as the documentation for the
Standard ML Basis Library
and standard test suites. Our goal is to increase compatibility
and resource sharing between Standard ML implementations.
Definitions of Standard ML
With the kind permission of MIT Press, we are able to make
The Definition of Standard ML (SML '90)
The Definition of Standard ML (Revised)
(SML '97) available for downloading as pdf files. These are
(currently) formated for US letter page size. Printed copies
of the SML '97 definition are still available from
David MacQueen if you wish to
join this organization and have access to the repositories.
The SourceForge project hosts two mailing lists relating to Standard
ML. Visit the info page for a list to subscribe.
Implementations of Standard ML
Moscow ML. With Version 2.0, now
implements SML '97 (including modules) with some
MLj. Implements an SML '97 subset,
compiling to the JVM with extensions for working with
[MLj has moved from Persimmon IT to Edinburgh.]
ML Kit. Version 3 implements SML '97, uses region
analysis for memory management.
SMLtoJs. A compiler from SML to
SMLonline. Compile and run SML programs in
the browser, based on SMLtoJs.
MLton, a whole-program optimizing SML Compiler. (SML '97)
Poly/ML, Dave Matthew's
Standard ML compiler (formerly sold by Abstract,
Inc.) is now available as a free, open source implementation.
Version 4 implements SML '97.
Poplog Standard ML. Now available as
free software (SML '90).
Standard ML of New Jersey (SML/NJ)
A free, open-source implementation of SML '97 that generates
native code for a broad range of platforms.
MLWorks, formerly a product of Harlequin
Ltd, is no longer available (SML '97).
Other relevant links
Last modified: Thu Jul 31 10:52:54 PDT 2014