Extended ML


Extended ML

A language by Don Sannella of the University of Edinburghcombining algebraic specification and functional programming.

["Program Specification and Development in Standard ML",D. Sannella et al, 12th POPL, ACM 1985].