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.

Project Description

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.

Project Members

The current project members (with SourceForge login names) are:

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]

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.

Mailing lists

The project has two mailing lists. Visit the info page for a list to subscribe.

Name: sml-implementers
Address: sml-implementers@lists.sourceforge.net
Info: http://lists.sourceforge.net/mailman/listinfo/sml-implementers
Subscribers: http://lists.sourceforge.net/lists/roster/sml-implementers

Name: sml-list
Address: sml-list@lists.sourceforge.net
Info: http://lists.sourceforge.net/mailman/listinfo/sml-list
Subscribers: http://lists.sourceforge.net/lists/roster/sml-list

CVS repository

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 ftp://SML.sourceforge.net/pub/sml.

Home directory

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 extensions.
MLj. Implements an SML '97 subset, compiling to the JVM with extensions for working with Java.
[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.

Dave MacQueen

Last modified: Fri Jul 18 11:12:59 PDT 2002