The definition of standard ML (revised)

authors: Robert Harper, Robin Milner, Mads Tofte
year: 1997
url:
publisher: The MIT Press, Massachusetts Institute of Technology
abstract: This book presents the official, formal definition of the programming language ML including the rules for grammar and static and dynamic semantics. ML is the...