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].
MegaLexica
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].