Standard ML of New Jersey

Abstract:

The Standard ML of New Jersey compiler has been under development for
five years now. We have developed a robust and complete environment
for Standard ML that supports the implementation of large software
systems and generates efficient code. The compiler has also served as
a laboratory for developing novel implementation techniques for a
sophisticated type and module system, continuation based code
generation, efficient pattern matching, and concurrent programming
features.

This technical report has been published as

Standard ML of New Jersey. Andrew W. Appel and David B. MacQueen,
Third Int'l Symp. on Prog. Lang. Implementation and Logic
Programming, Springer-Verlag LNCS 528, pp. 1-13,
August 1991.