Extended ML
Also found in: Wikipedia.
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].
["Program Specification and Development in Standard ML", D. Sannella et al, 12th POPL, ACM 1985].