Compiler and environment for, full implementation of, Standard ML, has libraries for MS Windows, X Window. Poly/ML is a full implementation of Standard ML available as open-source.
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.