Map
Index
Random
Help
th

Quote: a type in Russell is a set of procedures, functions, types, and schemes chosen by apply selection

topics > all references > references c-d > QuoteRef: demeA3_1979 , p. 19 [



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


Related Topics up

Topic: data type as a set of operations (38 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.