Extended ML (Computer program language)
URI(s)
Variants
Broader Terms
Closely Matching Concepts from Other Schemes
Sources
found: Work cat.: Kahrs, S. The definition of Extended ML, 1994.
found: E-mail from Stefan L. Kahrs, 30 April 1996(Extended ML (short EML) is a specification language build on top of ML; its purpose is to develop correct ML programs by incorporating specification features into the language; developed at Univ. of Edinburgh)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
1996-05-02: new
1996-06-17: revised
Alternate Formats