| 
|
Quote: to understand an expression must know the data type of each variable in the expression
topics >
all references >
references a-b >
Group:
data type
Topic:
type algebras, typed lambda calculus, and type-complete languages
Quotation Skeleton
the reader of a program cannot adequately understand … Google-1 Google-2
Copyright clearance needed for quotation.
Group: data type (34 topics, 723 quotes)
Topic: type algebras, typed lambda calculus, and type-complete languages (28 items)