The runtime data structures of the Standard ML of New Jersey compiler are simple yet general. As a result, code generators are easy to implement, programs execute quickly, garbage colllectors are easy to implement and work efficiently, and a variety of runtime facilities can be provided with ease.

This technical report has been published as

A Runtime System. Andrew W. Appel. Lisp and Symbolic Computation, 3, 343-380, 1990.