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].
(1994-12-12)
Nearby terms:
extended memory « extended memory manager « Extended
Memory Specification « Extended ML » Extended
Pascal » Extended Self-containing Prolog » Extended
System Configuration Data
|