EXTENDED ML


Meaning of EXTENDED ML in English

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)

FOLDOC computer English dictionary.      Английский словарь по компьютерам FOLDOC.