| 
|
Quote: with type-completeness, any name that can be declared can also be a parameter
topics >
all references >
references c-d >
Group:
parameters
Topic:
data types in Thesa
Topic:
type algebras, typed lambda calculus, and type-complete languages
Topic:
primitive data types for Thesa
Group:
type declaration
Topic:
data type as a set of variables
Quotation Skeleton
Secondly, type-completeness allows us to define all forms … are equivalent in their scope of usage; any … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: with type-completeness, can define declaration in terms of parameter/argument bindings
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)
Topic: primitive data types for Thesa (82 items)
Group: type declaration (5 topics, 107 quotes)
Topic: data type as a set of variables (11 items)