EMLExtended 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].
Updated: Thu, 13 Dec 2018 22:50:14 GMT
No longer supported by Imperial College Department of Computing