Information about Standard ML

Introductory Material

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

• Andrew Cumming's Gentle Introduction to ML (mirrored in Canada)

• Mads Tofte's Four Lectures on Standard ML: Part 1, part 2, and part 3. (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.

Reference Material

• The comp.lang.ml Frequently Asked Questions document.

• Brief description of the changes made in Revised Standard ML.

• Documentation for the Standard ML Basis Library. (European mirror)

• Andrew W. Appel's papers from Princeton.

• A list of projects implemented using ML.

Compilers

• An implementation of SML called Standard ML of New Jersey is available for free via anonymous ftp from Bell Labs.

• Compilers for the Caml dialect of ML are available from Projet Cristal at INRIA Rocquencourt. This includes the Objective Caml compiler.

Related Pages

• John English's ML Language reference page.

• The CMU Fox Project home page.

• The FoxNet Web Server.