Grow your team on GitHub
GitHub is home to over 28 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.Sign up
Repository and Wiki for enriching the Standard ML Basis Library
A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
The Definition of Standard ML, Revised (1997)
Web site for standardml.org.
SML, The Living Language (aka, Successor ML)
The Definition of Standard ML (1990)
The Mechanization of Standard ML