| 
|
Quote: a type in Russell is a set of procedures, functions, types, and schemes chosen by apply selection
topics >
all references >
references c-d >
Topic:
data type as a set of operations
Note
A type in Russell is a set of second-class values, i.e., procedures, functions, types and schemes. A particular element of this set is chosen by apply selection to the type denotation:... Examples: Integer $ + Stack {Boolean} $ Push
Topic: data type as a set of operations (38 items)