type algebras, typed lambda calculus, and type-complete languages
Elements of functional programming, Reading, Massachusetts, Addison-Wesley, 1989.
|152 ;;Quote: datatypes in ML by type constructors which represent the type and construct new instances of the type|
|159 ;;Quote: every type in ML, including list constructors, can be defined in terms of tuple and function types; predefined types for efficiency
ThesaHelp: references p-r (245 items)
Topic: type algebras, typed lambda calculus, and type-complete languages (28 items)
Topic: tuples (17 items)