SML/NJ is the Princeton, NJ implementation of SmlLanguage. See * http://www.smlnj.org/ ---- CategoryLanguageImplementation