| Extended ML | Contact Us |
|
 |
 |
| WK :: Extended ML :: |
| Resources :: |
|
|
WB WBT Addons Baby Cooking Books Runway Legal DVD Electronics Outdoor Living Kitchen Change Magazines Pop Music PCs Computers Cameras Software Toys Tools Video Computer |
|
|
|
1 definition for Extended ML From 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)
Request more information on Extended ML |
