This release contains the content from the printed copy of The Definition of Standard ML (Revised), though it lacks the index, as page numbers have changed in the reproduction from LaTeX sources.
This release contains the content from the printed copy of The Definition of Standard ML (Revised), though it lacks the index, as page numbers have changed in the reproduction from LaTeX sources.