Extended ML

(redirected from Extended ML (programming language))

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].
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
Full browser ?