EML

from The Free On-line Dictionary of Computing (8 July 2008)

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