meaning of extended ml
1. 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].
Related Words
