Map
Index
Random
Help
th

QuoteRef: readC_1989

topics > all references > ThesaHelp: references p-r



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

Quotations
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


Related Topics up

ThesaHelp: references p-r (245 items)
Topic: type algebras, typed lambda calculus, and type-complete languages (28 items)
Topic: tuples (17 items)

Collected barberCB 11/89
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.