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