| 
|
QuoteRef: donaJ7_1985
topics >
all references >
ThesaHelp:
ACM references a-e
ThesaHelp:
references c-d
Topic:
data type as a set of operations
Topic:
universal data type
Topic:
primitive data types for Thesa
Topic:
function signature
Reference
Donahue, J. , Demers, A. , "Data types as values ", ACM Transactions on Programming Languages and Systems , 7 , 3 , pp. 426-445 , July 1985 . Google
428 ;;Quote: a data type is a set of operations that interpret values and variables in a universal value space
428 ;;Quote: assume a typeless, universal value space; no inherent meaning to values, meaning only in reference to an operation
429 ;;Quote: universal value space is typeless and contains all data types and computable operations
429+;;Quote: a data type is a finite collection of operations
432 ;;Quote: each Russell expression has a signature identifying the operations that can be performed on the expression's value
ThesaHelp: ACM references a-e (259 items)
ThesaHelp: references c-d (337 items)
Topic: data type as a set of operations (38 items)
Topic: universal data type (18 items)
Topic: primitive data types for Thesa (82 items)
Topic: function signature (21 items)