The Free On-line Dictionary of Computing (30 December 2018):

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)