Computing (FOLDOC) dictionary
Jump to user comments
Extended ML. A language for formally specifying
SMLprograms.
["Formal Program Development in Extended ML for the Working
Programmer", D. Sannella, Proc 3rd BCS/FACS Workshop on
Refinement", Springer 1990].