ThesaHelp: references ab
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. 2528.
Google
Quotations
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

Related Topics
ThesaHelp: references ab (396 items)
Topic: boolean values, binary numbers, and bit strings (44 items)
Topic: restricted and extended types (34 items)
