Standard ML of New Jersey (SML/NJ)

A compiler and programming environment for Standard ML language, with associated libraries, tools, documents. Descriptions, news, downloads (Unix, Windows), literature lists, FAQs, links, and contacts. [Open Source, Lucent]