| 
|
QuoteRef: boutRT1_1990
topics >
all references >
ThesaHelp:
references a-b
Topic:
boolean values, binary numbers, and bit strings
Topic:
restricted and extended types
Reference
Boute, R.T., "A heretical view on type embedding", SIGPLAN, 25, 1, January 1990, pp. 25-28. Google
25 ;;Quote: could define boolean values as 0_1; this removes the need for a characteristic function for predicates
26 ;;Quote: a type is a subtype if it uses a subset of values and a superset of operations
ThesaHelp: references a-b (396 items)
Topic: boolean values, binary numbers, and bit strings (44 items)
Topic: restricted and extended types (34 items)