The Definition of Standard ML, Revised (1997)
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
thumbs
.gitignore
ML.cover.gif
README.md
app1.tex
app2.tex SML97 Sources Update Nov 23, 2013
app3.tex
app4.tex
app5.tex
bob.bib
changes.sml
changes.tex
dyncor.tex
dynmod.tex
index.tex SML97 Sources Update Nov 23, 2013
intro.tex
mac.tex
notes.tex SML97 Sources Update Nov 23, 2013
oldindex.tex
overloading.tex modes Aug 22, 2014
preface.tex
prog.tex
root.tex
rootagfa.tex
rootchanges.tex
statcor.tex
statmod.tex
syncor.tex
synmod.tex
tofte.bib modes Aug 22, 2014
whatisnew.tex

README.md

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.