Extended ML

from The Free On-line Dictionary of Computing (8 July 2008)

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].

   (1994-12-12)