Skip navigation

Robin Milner

Robin Milner was Professor Emeritus of Computer Science at the University of Cambridge, UK, and Professor at the Informatics Forum in the University of Edinburgh.

Titles by This Author

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.