Skip to content

Latest commit

 

History

History
24 lines (16 loc) · 583 Bytes

README.md

File metadata and controls

24 lines (16 loc) · 583 Bytes

The Definition of Standard ML

These sources are currently based on the SML90 version of the Definition of Standard ML. To build a PDF, perform the following steps in a terminal window:

pdflatex root
bibtex root
peflatex root
pdflatex 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]