EML

Extended ML

A language for formally specifying SML[1] programs.

"Formal Program Development in Extended ML for the Working Programmer", D. Sannella, Proceedings of the 3rd BCS/FACS Workshop on Refinement, Springer-Verlag, 1990.