Information about Standard ML
Bob Harper has substantially revised his
Introduction to Standard ML
and formatted it for the web. (The
original postscript document
is still available.)
Peter Lee's guide to
Standard ML at Carnegie Mellon
. This includes general tips on using the SML/NJ and ML Works compilers, along with some CMU-specific information.
Gentle Introduction to ML
mirrored in Canada
Four Lectures on Standard ML
Examples from the paper
are available online.)
Several textbooks on SML programming are available. We recommend the following:
L. C. Paulson.
ML for the Working Programmer
, 2nd Edition. Cambridge University Press, 1996.
Jeffrey D. Ullman.
Elements of ML Programming.
, 2nd Edition. Prentice-Hall, 1997.
Both books cover Revised Standard ML.
Frequently Asked Questions
Brief description of the changes made in
Revised Standard ML
Documentation for the
Standard ML Basis Library
Andrew W. Appel's papers
A list of
implemented using ML.
An implementation of SML called
Standard ML of New Jersey
is available for free via anonymous ftp from
Compilers for the
dialect of ML are available from
at INRIA Rocquencourt. This includes the
CMU Fox Project home page
FoxNet Web Server
(last updated November 19, 1998)