| 
|
QuoteRef: demeAJ_1980
topics >
all references >
ThesaHelp:
ACM references a-e
ThesaHelp:
references c-d
Topic:
type algebras, typed lambda calculus, and type-complete languages
Reference
Demers, A.J., Donahue, J.E., "Data Types, parameters and type checking ", ACM Principles of Programming Languages , pp. 12-23 , 1980. Google
QuoteRef: demeAJ_1980 ;; presentation of data types in Russell
ThesaHelp: ACM references a-e (259 items)
ThesaHelp: references c-d (337 items)
Topic: type algebras, typed lambda calculus, and type-complete languages (28 items)