Extended ML
A language by Don Sannella of the University of Edinburgh combining algebraic specification and functional programming. ["Program Specification and Development in Standard ML", D. Sannella et al, 12th POPL, ACM 1985].Last updated: 1994-12-12
Nearby terms:
Extended Memory Specification ♦ Extended ML ♦ Extended Pascal ♦ Extended Self-containing Prolog
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
