Map
Index
Random
Help
th

QuoteRef: demeAJ_1980

topics > all references > ThesaHelp: references c-d



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

Quotations
QuoteRef: demeAJ_1980 ;; presentation of data types in Russell


Related Topics up

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)

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