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

Last updated: 1994-12-12

Try this search on Wikipedia, OneLook, Google

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


Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.