The Free On-line Dictionary of Computing (19 January 2023):

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