Bibliography

AM91

Andrew W. Appel and David B. MacQueen.
Standard ML of New Jersey.
In Martin Wirsing, editor, 3rd International Symp. on Prog. Lang. Implementation and Logic Programming, pages 1-13, New York, August 1991. Springer-Verlag.

Blu00

Matthias Blume.
CM: The SML/NJ compilation and library manager.
Manual accompanying SML/NJ software, 2000.

MTHM97

Robin Milner, Mads Tofte, Robert Harper, and David MacQueen.
The Definition of Standard ML (Revised).
MIT Press, Cambridge, MA, 1997.