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:

EMDIR | Emerald | EMI | Emitter Coupled Logic | EML | EMM | EMM386 | emote | emoticon
Try this search on Wikipedia, OneLook, Google


Loading