Extended ML

Don Sannella, Edinburgh

Algebraic specification meets functional programming.

"Program Specification and Development in Standard ML", D. Sannella et al, Conference Record of the 12th Annual ACM Symposium on Principles of Programming Languages, ACM 1985.