Home > Electronics Tutorials > Online Computer Terms Dictionary > E

Online Computer Terms Dictionary - E

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 Emitter Coupled Logic EML EMM EMM386 emote
 

Discover

     more......