| 
|
Quote: in a type-complete language, parameterization and application are universally applicable
topics >
all references >
references c-d >
Group:
parameters
Topic:
data types in Thesa
Topic:
type algebras, typed lambda calculus, and type-complete languages
Quotation Skeleton
Requiring a language to be type-complete ensures two … the language … If we want to use the same program … guarantees that this can always be done, no … Google-1 Google-2
Copyright clearance needed for quotation.
Group: parameters (10 topics, 145 quotes)
Topic: data types in Thesa (92 items)
Topic: type algebras, typed lambda calculus, and type-complete languages (28 items)