The Definition of Standard ML - Version 2
Robert Harper, Robin Milner, Mads TofteAbstract: 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