EML - Extended ML. A language for formally specifying SML programs.
"Formal Program Development in Extended ML for the Working Programmer", D.
Sannella, Proc 3rd BCS/FACS Workshop on Refinement", Springer 1990.
Comments, Experience, Additions
Next Language: EMPL