Standard ML SourceForge Project
This is the web page for the Standard ML SourceForge
project (short name: SML). It is very much "under construction".
See also the Standard
ML Summary page.
The Standard ML project supports coordination between different
implementations of the Standard ML (SML) programming language by
maintaining common tools and resources such as standard test
suites. Our goal is to increase compatibility and resource sharing
between Standard ML implementations.
The current project members (with SourceForge login names) are:
Contact any of the designated Project Managers to become a member of
the project, supplying your SourceForge login name. You can also ask
to be a Project Manager on the project. Being a Project Manager
grants you additional capabilities, such as maintaining the mailing
lists, adding new members, etc.
- Nick Benton (nickbenton)
- Dave Berry (dr_dave_berry)
- Matthias Blume (mblume)
- Henry Cejtin (henrycejtin)
- Allyn Dimock
- Martil Elsman (mael)
- Lal George (lgeorge)
- Niels Hallenberg (faxe)
- Robert Harper (rharper) [Project Manager]
- Ken Friis Larsen (kfl)
- David MacQueen (macqueen) [Project Manager]
- Tom Murphy (tom7)
- Claudio Russo (cvr)
- Peter Sestoft (sestoft) [Project Manager]
- David Swasey (dswasey)
- Stephen Weeks (sweeks) [Project Manager]
The project has two mailing lists. Visit the info page for a list to
The CVS repository is cvs.SML.sourceforge.net:/cvsroot/sml. See the
Howto document for some hints on getting
started with CVS.
Anonymous ftp directory
The SML project has an anonymous ftp directory at URL
The SML project home directory is SML.sourceforge.net:/home/groups/sml.
The project web pages are maintained in the subdirectory htdocs.
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.
MLton, a whole-program optimizing SML Compiler. (SML '97)
MLWorks, formerly a product of Harlequin
Ltd, is no longer available. With luck, it may return as free
software in the future. (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.
Last modified: Fri Jul 18 11:12:59 PDT 2002