Skip Nav Destination
Close Modal
Update search
NARROW
Format
Subjects
Date
Availability
1-19 of 19
Robin Milner
Close
Follow your search
Access your saved searches in your account
Would you like to receive an alert when new items match your search?
Sort by
Publisher: The MIT Press
Published: 21 May 1997
DOI: 10.7551/mitpress/2319.003.0001
EISBN: 9780262287005
Publisher: The MIT Press
Published: 21 May 1997
DOI: 10.7551/mitpress/2319.003.0002
EISBN: 9780262287005
Publisher: The MIT Press
Published: 21 May 1997
DOI: 10.7551/mitpress/2319.003.0003
EISBN: 9780262287005
Publisher: The MIT Press
Published: 21 May 1997
DOI: 10.7551/mitpress/2319.003.0004
EISBN: 9780262287005
Publisher: The MIT Press
Published: 21 May 1997
DOI: 10.7551/mitpress/2319.003.0005
EISBN: 9780262287005
Publisher: The MIT Press
Published: 21 May 1997
DOI: 10.7551/mitpress/2319.003.0006
EISBN: 9780262287005
Publisher: The MIT Press
Published: 21 May 1997
DOI: 10.7551/mitpress/2319.003.0007
EISBN: 9780262287005
Publisher: The MIT Press
Published: 21 May 1997
DOI: 10.7551/mitpress/2319.003.0008
EISBN: 9780262287005
Publisher: The MIT Press
Published: 21 May 1997
DOI: 10.7551/mitpress/2319.003.0009
EISBN: 9780262287005
Publisher: The MIT Press
Published: 21 May 1997
DOI: 10.7551/mitpress/2319.003.0010
EISBN: 9780262287005
Publisher: The MIT Press
Published: 21 May 1997
DOI: 10.7551/mitpress/2319.003.0011
EISBN: 9780262287005
Publisher: The MIT Press
Published: 21 May 1997
DOI: 10.7551/mitpress/2319.003.0012
EISBN: 9780262287005
Publisher: The MIT Press
Published: 21 May 1997
DOI: 10.7551/mitpress/2319.003.0013
EISBN: 9780262287005
Publisher: The MIT Press
Published: 21 May 1997
DOI: 10.7551/mitpress/2319.003.0014
EISBN: 9780262287005
Publisher: The MIT Press
Published: 21 May 1997
DOI: 10.7551/mitpress/2319.003.0015
EISBN: 9780262287005
Publisher: The MIT Press
Published: 21 May 1997
DOI: 10.7551/mitpress/2319.003.0016
EISBN: 9780262287005
Publisher: The MIT Press
Published: 21 May 1997
DOI: 10.7551/mitpress/2319.003.0017
EISBN: 9780262287005
Publisher: The MIT Press
Published: 21 May 1997
DOI: 10.7551/mitpress/2319.003.0018
EISBN: 9780262287005
Publisher: The MIT Press
Published: 21 May 1997
DOI: 10.7551/mitpress/2319.001.0001
EISBN: 9780262287005
Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers. Because computer programs are increasingly required to withstand rigorous analysis, it is all the more important that the language in which they are written be defined with full rigor. One purpose of a language definition is to establish a theory of meanings upon which the understanding of particular programs may rest. To properly define a programming language, it is necessary to use some form of notation other than a programming language. Given a concern for rigor, mathematical notation is an obvious choice. The authors have defined their semantic objects in mathematical notation that is completely independent of Standard ML. In defining a language one must also define the rules of evaluation precisely—that is, define what meaning results from evaluating any phrase of the language. The definition thus constitutes a formal specification for an implementation. The authors have developed enough of their theory to give sense to their rules of evaluation. The Definition of Standard ML is the essential point of reference for Standard ML. Since its publication in 1990, the implementation technology of the language has advanced enormously and the number of users has grown. The revised edition includes a number of new features, omits little-used features, and corrects mistakes of definition.