SML/NJ comes with a source-level debugger, profiler, gnu emacs interface, ML implementations of LEX, YACC, and Twig, separate compilation facilities, Concurrent ML, the eXene X Window library, and the SML/NJ library. It runs interactively and can produce stand-alone executable applications.
Non-standard extensions include typed first-class continuations, Unix signal handling, and higher-order functors.
@inproceedings{appel91:sml,
Title = "{S}tandard {ML} of {N}ew {J}ersey",
Author = "Andrew W. Appel and David B. MacQueen",
Booktitle = "Third Int'l Symp. on Prog. Lang. Implementation and Logic Programming",
Editor="Martin Wirsing",
Publisher="Springer-Verlag",address="New York",
Month = "August",
Year = "1991",
pages="1-13"
}
@book{appel92:cps,
Author = "Andrew W. Appel",
Title = "Compiling with Continuations",
publisher = "Cambridge University Press",
Year = "1992"}
@inproceedings{appel87:sml,
Author = "Andrew W. Appel and David B. MacQueen",
Title = "A {S}tandard {ML} Compiler",
BookTitle = "Functional Programming Languages and Computer Architecture (LNCS 274)",
Editor = "Gilles Kahn",
Publisher = "Springer-Verlag",address="New York",
Year = 1987,
Pages = "301-24"
}