Extended ML
EML is a framework for specification and formal development of Standard ML programs. Description, publications, tool support, education resources.

No queries for homepages.inf.ed.ac.uk/dts/eml