Switch branches/tags
Nothing to show
Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
..
Failed to load latest commit information.
README.md
app1.tex
app2.tex
app3.tex
app4.tex
app5.tex
bob.bib
dyncor.tex
dynmod.tex
index.tex
intro.tex
mac.tex
oldindex.tex
overloading.tex
preface.tex
prog.tex
root.tex
statcor.tex
statmod.tex
succ-ml.bib
syncor.tex
synmod.tex
tofte.bib
whatisnew.tex

README.md

The Definition of Successor ML

These sources are derived from the 1997 version of the Definition of Standard ML by integrating the changes documented in the HaMLet 1.3.1/S documentation. See Appendix F in the document for a detailed list of the changes.

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 Definition of Standard ML (Revised)

MIT Press has graciously allowed the Defintion of Standard ML to be released in electronic form. If you would like a printed copy of the original 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.