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].Nearby terms:
Emerald ♦ EMI ♦ Emitter Coupled Logic ♦ EML ♦ EMM ♦ EMM386 ♦ emote ♦ emoticon
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
