Map
Index
Random
Help
th

Quote: many types do not have explicit names; e.g., operator or function types

topics > all references > references i-l > QuoteRef: kiebRB9_1973 , p. 4.2



Topic:
function signature
Topic:
type algebras, typed lambda calculus, and type-complete languages

Quotation Skeleton

Note that there are many types of the …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: function signature (21 items)
Topic: type algebras, typed lambda calculus, and type-complete languages (28 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.