The Definition of Standard ML - Version 2

Robert Harper, Robin Milner, Mads Tofte

Abstract: This comprehensive report is the complete definition of the programming language Standard ML. It describes the syntax and semantics of the language using so-called natural (or relational) semantics.

The document replaces ``The Semantics of Standard ML, Version 1'' as detailed in the preface to Version 2. It is planned not to produce further versions for at least a couple of years. The document is suplemented by three earlier and more informal reports: ``Standard ML'' (by Harper, MacQueen and Milner), ``Changes to the Standard ML Core Language'' (by Milner), and ``Unifying Exceptions with Constructors in Standard ML'' (by Appel, MacQueen, Milner and Tofte).

The Definition of Standard ML has subsequently been published by The MIT Press

LFCS report ECS-LFCS-88-62 (supersedes LFCS-87-36)

Previous | Index | Next