ML

Standard ML of New Jersey

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.