Source : Free On-Line Dictionary of Computing

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)