Branquart, P., Lewi, J., Sintzoff, M., Wodon, P.L.,
"The composition of semantics in Algol 68",
Communications of the ACM, 14, 11, pp. 697-708, November 1971.
Google
Quotations
QuoteRef: branP11_1971 ;; allows a type to a union of types eg list processing car(x) atom list
QuoteRef: branP11_1971 ;; a name is a REF type i.e. a reference to a type
Related Topics
ThesaHelp: ACM references a-e (259 items)
Topic: safe use of pointers (102 items)
Topic: union data type (12 items)
ThesaHelp: references a-b (396 items)