| 
|
Quote: implementers see types as a specification of storage mapping for values
topics >
all references >
references t-z >
Topic:
primitive data type as memory
Topic:
data type as constructors, selectors, and predicates
Topic:
primitive data types for Thesa
Quotation Skeleton
Implementer's view: Types specify a storage mapping for … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: primitive data type as memory (29 items)
Topic: data type as constructors, selectors, and predicates (20 items)
Topic: primitive data types for Thesa (82 items)