Stephen Gilmore
Laboratory for
Foundations of Computer Science
Department of Computer
Science
The University of Edinburgh
September 1997
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 suitable for printing.