Stephen Gilmore
Laboratory for
Foundations of Computer Science
The University of Edinburgh
September 1997
(Revised June 1998, Apr 2000, Jan 2003, March 2004)
Standard ML is a programming language which combines the elegance of functional programming with the effectiveness of imperative programming. This tutorial introduces important concepts in the language, illustrating them with brief examples. The examples are suitable for cutting-and-pasting into an on-line session.
To navigate through the tutorial you can either move sequentially through by following the Next links or dip in and out by selecting topics from the table of contents by following the Contents link.
This tutorial is also available as a PostScript® file or PDF® file suitable for printing. The printable version contains an extra chapter which is not available in this on-line version.