Hyper Dictionary

English Dictionary Computer Dictionary Video Dictionary Thesaurus Dream Dictionary Medical Dictionary


Search Dictionary:  

Meaning of EXTENDED ML

 
Matching Terms:  extended memory, extended memory manager, extended memory specification

Computing Dictionary
 
 Definition: 

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

 

 

COPYRIGHT © 2000-2013 HYPERDICTIONARY.COM HOME | ABOUT HYPERDICTIONARY