SMLFamily / The Definition Of Standard Ml Revised
The Definition of Standard ML, Revised (1997)
Stars: ✭ 100
Labels
The Definition of Standard ML
These sources correspond to the SML97 version of the Definition of Standard ML. 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 work in PDF form and continue to extend it again. If you would like a printed copy of this work, please purchase one 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.
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].