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. This collection
of original essays reflects the breadth of current research in
computer science. Robin Milner, a major figure in the field, has
made many fundamental contributions, particularly in theoretical
computer science, the theory of programming languages, and
functional programming languages. Following a brief biography of
Milner, the book contains five sections: Semantic Foundations,
Programming Logic, Programming Languages, Concurrency, and
Mobility. Together the pie