资料来源 : Free On-Line Dictionary of Computing

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