| 
|
Quote: type checking in Russell guarantees representation independent semantics
topics >
all references >
references c-d >
Group:
type checking
Topic:
data types in Thesa
Topic:
data type as a set of values and a set of operations
Quotation Skeleton
Remember our earlier description of data types as … space, any operation may be applied to any … would allow programs with "representation - dependent" semantics … In Donahue '77 we were able to show … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: data types interpret values of a universal space where any operation can apply to any value
Group: type checking (12 topics, 385 quotes)
Topic: data types in Thesa (92 items)
Topic: data type as a set of values and a set of operations (16 items)