| 
|
QuoteRef: cartR1_1985
topics >
all references >
ThesaHelp:
ACM references a-e
ThesaHelp:
references c-d
Topic:
data types in Thesa
Topic:
non-exclusive data type
Group:
data type
Topic:
data type as a set of values
Topic:
restricted and extended types
Topic:
primitive data types for Thesa
Reference
Cartwright, R., "Types as intervals", Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, New Orleans, Louisiana, 14-16 January 1985. Google
Other Reference
copyright 1984
22 ;;Quote: if treat types as intervals then identify those elements which do not belong to a type
22 ;;Quote: if data type by intervals not included then type information can be partial
22 ;;Quote: a data type may partition a domain (disjoint) or use a predicate (overlapping sets)
22+;;Quote: a predicate type system allows multiple types for a value; used in interactive languages such as Lisp
22+;;Quote: a partition type system allows one type for a value; used in most production programming systems such as C and FORTRAN
ThesaHelp: ACM references a-e (259 items)
ThesaHelp: references c-d (337 items)
Topic: data types in Thesa (92 items)
Topic: non-exclusive data type (16 items)
Group: data type (34 topics, 723 quotes)
Topic: data type as a set of values (20 items)
Topic: restricted and extended types (34 items)
Topic: primitive data types for Thesa (82 items)