Found 1 hit - Term: extended ml, Database: *, Strategy: prefix
- [1] : The Free On-line Dictionary of Computing (27 SEP 03)
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.
1994-12-12
see also:
university of edinburgh algebraic specification functional programming
Dictionary of Words and Phrases online did not found adittional definition or meaning about extended ml. Last accessed:2008/08/21 22:28:20 [Total processing time: 1 seconds] |