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 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).
| Original language | English |
|---|---|
| Publisher | University of Edinburgh |
| Publication status | Unpublished - 1988 |