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



< Previous Terms Terms Containing Extended ML Next Terms >
eXtended Graphics Array
Extended Industry-Standard Architecture
extended memory
extended memory manager
Extended Memory Specification
 EML
University of Edinburgh
 Extended Pascal
Extended Self-containing Prolog
Extended System Configuration Data
Extended Tcl
Extended Tiny