www.smlnj.org

      Explicit
SML/NJ is a compiler and programming environment for SML, with associated libraries, tools, documents. Descriptions, news, downloads (Unix, Windows), literature lists, FAQs, links, contacts. [Open Source, Lucent]