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

Project Description

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 permission of MIT Press, we are able to make The Definition of Standard ML (SML '90) and The Definition of Standard ML, Revised (SML '97) available for downloading as pdf files. These are (currently) formatted for US letter page size. Printed copies of the SML '97 definition are available from MIT Press.

The SML '90 definition is complete, including the index, but we are still working on recreating the index for the SML '97 definition.

The sources to the two editions of The Definition are available on GitHub as follows: Some valuable critiques of The Definitions: Machine-checked meta-theory of Standard ML:

Mailing lists

The SourceForge project hosts two mailing lists relating to Standard ML. 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
The Successor ML wiki comprises a substantial discussion of suggestions for improvement of Standard ML. Further contributions are welcome!

Implementations, Extensions, and Variations of Standard ML

Other relevant links



Dave MacQueen
Last modified: Fri Aug 22 14:17:23 EDT 2014