Repository files navigation

These sources are derived from the 1997 version of theDefinition of Standard MLby integrating the changes documented in theHaMLet 1.3.1S documentation.See Appendix F in the document for a detailed list of the changes.

To build a PDF, perform the following steps in a terminal window:

latexmk -pdf root

The file root.pdf will be produced.

MIT Press has graciously allowed the Defintion of Standard ML to bereleased in electronic form. If you would like a printed copy of theoriginal work, please purchase one from their site:

http://mitpress.mit.edu/books/definition-standard-ml

This work is licensed under theCreative CommentsAttribution-NonCommercial-ShareAlike 3.0Unported license.