Home > Electronics Tutorials > Online Computer Terms Dictionary > E

Online Computer Terms Dictionary - E

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



Nearby terms: extended memory extended memory manager Extended Memory Specification Extended ML Extended Pascal Extended Self-containing Prolog Extended System Configuration Data