| 
|
QuoteRef: readC_1989
topics >
all references >
ThesaHelp:
references p-r
Topic:
type algebras, typed lambda calculus, and type-complete languages
Topic:
tuples
Reference
Reade, C., Elements of functional programming, Reading, Massachusetts, Addison-Wesley, 1989. Google
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)