Extended ML

A language by Don Sannella of the University of Edinburgh

combining algebraic specification and functionalprogramming.

["Program Specification and Development in Standard ML",

D. Sannella et al, 12th POPL, ACM 1985].

(1994-12-12)