Four Lectures on Standard ML

Mads Tofte

Abstract: The following notes give an overview of Standard ML with emphasis placed on the Modules part of the language.

The notes are, to the best of my knowledge, faithful to ``The Definition of Standard ML, Version 2'', as regards syntax, semantics and terminology. They have been written so as to be independent of any particular implementation. The exercises in the first 3 lectures can be tackled without the use of a machine, although having access to an implementation will no doubt be beneficial. The project in Lecture 4 presupposes access to an implementation of the full language, including modules.

Paper copy price £2.50

Standard ML source code is available for the heap example and the symbol table example. A directory of Standard ML source code is available for the interpreter, together with a test suite for the interpreter and the solutions to the exercises in the report.


Previous | Index | Next