Quote: a base class is commonly used for container classes such as set, vector, and list; the container may be homogeneous or heterogeneous

Quote: define object types by arbitrarily nested records (f:t), sets {t}, bags {|t|}, lists [t], and variants ; natural mappings for bioinformatics databases [»wongL9_2000]

Quote: ESP supports record, union, and array data types; ESP does not support recursive data types; no model checker, more expensive to communicate [»kumaS6_2002]

Quote: constructing new type like deriving new sets by cartesian product, mappings, list, union, subset, superset [»nordB3_1976, OK]

QuoteRef: wegbB5_1974 ;;11 cartesian product of sets is a structure (by Struct), self-product of sets is an array (indefinite or fixed length, by Array), unionof sets is a union mode (oneof), mappings of sets is a routine (Proc) may t

QuoteRef: wirtN1_1971 ;;37 structures (arrays, records %variants, powerset %set of all subsets, file (ordered with current position

QuoteRef: wirtN7_1973 ;;3 arrays (same type, scalar indexed), record (labeled fields with variants sets (bit arrays), files (sequence of same type,) accessed by cursor)

QuoteRef: grayJC_1973 ;;169 combine (<') like restructure but takes a list of items, i.e., builds a compound item using a template.

Quote: in database query languages, queries produce new, implicit types; in functional programming every type is explicit [»wongL9_2000]

Quote: use SAME to indicate derived types in method signatures [»fricA4_2000]

Quote: the existence of a weak entity type depends on the existence of other entities; e.g., the set of children for an employee [»chenPP_1977b]