English Dictionary: EML | by the DICT Development Group |
1 result for EML | |
From The Free On-line Dictionary of Computing (15Feb98) [foldoc]: | |
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]. |