The Definition of Not Standard ML
These sources are derived from the Definition of Standard ML (Revised). To build a PDF, perform the following steps in a terminal window:
latexmk -pdf root
The file root.pdf will be produced.
Obtaining a printed copy of the book
MIT Press has graciously allowed us to release this original Definition of Standard ML (Revised) in PDF form and to derive new works from it again. If you would like a printed copy of the original work, please purchase it from their site:
http://mitpress.mit.edu/books/definition-standard-ml
License
This work is licensed under the Creative Comments Attribution-NonCommercial-ShareAlike 3.0 Unported license.