Map
Index
Random
Help
th

Quote: a type system is a set of rules for associating a type with every meaningful subexpression

topics > all references > references t-z > QuoteRef: wegnP10_1986 , p. 180



Topic:
type algebras, typed lambda calculus, and type-complete languages
Topic:
data types in Thesa

Quotation Skeleton

Type-checking view: Types impose syntactic constraints on expressions … of rules for associating a type with every …   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: type-checking sees types as syntactic constraints that guarantees compatibility of composite expressions

Related Topics up

Topic: type algebras, typed lambda calculus, and type-complete languages (28 items)
Topic: data types in Thesa (92 items)

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