4 links
Extended ML
dcs.ed.ac.uk
EML is a framework for specification and formal development of Standard ML programs. Description, publications, tool support, education resources.
Standard ML of New Jersey
smlnj.org
SML/NJ is a compiler and programming environment for SML, with associated libraries, tools, documents. Descriptions, news, downloads (Unix, Windows), literature lists, FAQs, links,…