The definition of standard ML Version 2: LFCS report ECS-LFCS-88-62

Robin Milner, Robert Harper, Mads Tofte

Research output: Working paper


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).
Original languageEnglish
PublisherUniversity of Edinburgh
Publication statusUnpublished - 1988


Dive into the research topics of 'The definition of standard ML Version 2: LFCS report ECS-LFCS-88-62'. Together they form a unique fingerprint.

Cite this