Try Our Apps


World Series Quiz

extended ml

extended ml in Technology

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

The Free On-line Dictionary of Computing, © Denis Howe 2010
Cite This Source

Word of the Day

Word Value for extended

Scrabble Words With Friends

Nearby words for extended ml