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





< Previous Terms Terms Containing EML Next Terms >
EMC
EMD Enterprises, Inc.
EMDIR
Emerald
Emitter Coupled Logic
/dev/null
kremvax
Python
TLAs
EMM
EMM386
emote
emoticon
empeg