The Definition of Standard ML (1990)
TeX Standard ML
Latest commit 44aec4a Oct 27, 2014 @larsbergstrom larsbergstrom Merge pull request #2 from danking/master
Create a clickable table of contents
Failed to load latest commit information.
.gitignore
README.md
app1.tex
app2.tex
app3.tex
app4.tex
app5.tex
dyncor.tex
dynmod.tex
index.sml
intro.tex
mac.tex
notes.tex
preface.tex
prog.tex
root.tex
rootagfa.tex
statcor.tex
statmod.tex
syncor.tex
synmod.tex

README.md

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
pdflatex 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

License

This work is licensed under the Creative Comments Attribution-NonCommercial-ShareAlike 3.0 Unported license.