Word:

Extended ML

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].
Browse
Extended Binary Coded Decimal Interchange Code
Extended BNF
Extended C++
Extended Capabilities Port
extended care facility
Extended Concurrent Prolog
Extended Data Out Dynamic Random Access Memory
Extended Data Out Random Access Memory
extended family
Extended Fortran Language
eXtended Graphics Array
Extended Industry-Standard Architecture
Extended letter
extended memory
extended memory manager
Extended Memory Specification
-- Extended ML --
extended order
Extended Pascal
Extended Self-containing Prolog
Extended System Configuration Data
Extended Tcl
extended time scale
Extended Tiny
Extended Video Graphics Array
Extendedly
Extender
Extendible
Extendlessness
Extense
Extensibility
Extensible
extensible database
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home - Privacy Policy