Data types are values

DOI10.1145/3916.3987MaRDI QIDQ3681907zbMATH OpenOpenAlexFDO

Authors James E. Donahue, Alan Demers

Publication date 1985

Published in ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL http://www.acm.org/pubs/contents/journals/toplas/1985-7/

zbMATH Keywords

data typepolymorphismstatic type-checking

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• Polymorphic programming I. Another language designed on semantic principles
• scientific article; zbMATH DE number 3900134
• scientific article; zbMATH DE number 4090764
• Computations on types
• scientific article; zbMATH DE number 3949668

Cited in

(4)

• Data types à la carte
• G: A functional language with generic abstract data types
• Polymorphic programming I. Another language designed on semantic principles
• Type system in programming languages

This page was built for publication: Data types are values

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3681907)