; University of Edinburgh; To Babbo, Mamma and Trish.
SVM HeaderParse 0.2
ABSTRACT
The programming language Standard ML is an amalgam of two, largely orthogonal, languages. The Core language expresses details of algorithms and data structures. The Modules language expresses the modular architecture of a software system. Both languages are statically typed, with their static and dynamic semantics specified by a formal definition.