Tutorials
-
Programming in Standard ML by Robert Harper (2011)
-
Notes on Programming in SML/NJ by Riccardo Pucella (2001)
-
Tips for Computer Scientists On Standard ML by Mads Tofte (2009)
-
Programming in Standard ML '97: An On-line Tutorial by Stephen Gilmore (1997)
-
A Gentle Introduction to ML by Andrew Cumming
-
Four Lectures on Standard ML by Mads Tofte (1989)
-
Essentials of Standard ML Modules by Mads Tofte (1996)
-
Introduction to Functional Programming by Michael Gordon (1996)
Books
Text Books on Standard ML '97 Programming
Several textbooks on SML '97 programming are available; we recommend the first two in this list. Paulson’s ML for the Working Programmer assumes a little more programming experience than Ullman’s Elements of ML Programming, however either one ought to be adequate for learning the Standard ML language. Both of these books are in their second editions, covering the SML '97 version of the language including the Basis Library.
-
ML for the Working Programmer, 2nd edition
Author: Larry Paulson
Publisher: Cambridge University Press
Year: 1996
ISBN: 9780511811326 -
Elements of ML Programming, ML97 Edition
Author: Jeffrey D. Ullman
Publisher: Prentice-Hall
Year: 1998
ISBN: 0-13-790387-1 -
The Little MLer
Authors: Matthias Felleisen and Dan Freidman
Publisher: The MIT Press
Year: 1998
ISBN: 0-262-56114-X -
Introduction to Programming using SML
Authors: Michael R. Hansen and Hans Rischel
Publisher: Addison-Wesley
Year: 1999
ISBN: 9780201398205
Some Advanced Topics
-
Concurrent Programming in ML
Author: John Reppy
Publisher: Cambridge University Press _ Year: 1999
ISBN: 9780511574962 -
Compiling with Continuations
Author: Andrew Appel
Publisher: Cambridge University Press
Year: 1992 ISBN: 9780511609619 -
Modern Compiler Implementation in ML
Author: Andrew Appel
Publisher: Cambridge University Press
Year: 1997
ISBN: 9780511811449 -
Purely Functional Data Structures
Author: Chris Okasaki
Publisher: Cambridge University Press
Year: 1998
ISBN: 9780511530104
Reference Books
-
The Definition of Standard ML (Revised)
Authors: Robin Milner, Mads Tofte, Robert Harper, and David MacQueen
Publisher: The MIT Press
Year: 1997
ISBN: 9780262631815 -
The Standard ML Basis Library
Authors: Emden Gansner and John Reppy
Publisher: Cambridge University Press Year: 2004
ISBN: 9780511546846 -
The Definition of Standard ML
Authors: Robin Milner, Mads Tofte, and Robert Harper
Publisher: The MIT Press
Year: 1989
ISBN: 0-262-63132-6
Note: The original 1990 Definition of Standard ML. -
Commentary on Standard ML
Authors: Robin Milner and Mads Tofte
Publisher: The MIT Press
Year: 1991
ISBN: 0-262-63137-7
Note: A commentary on the 1990 Definition of Standard ML, only partially relevant to SML '97.