extended ml
extended ml
in Technology
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)