SMLFamily / The-Definition-of-Standard-ML-Revised

The Definition of Standard ML, Revised (1997)

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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.

About

The Definition of Standard ML, Revised (1997)


Languages

Language:TeX 97.1%Language:Standard ML 2.9%