Data types are values
- 1 July 1985
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 7 (3), 426-445
- https://doi.org/10.1145/3916.3987
Abstract
An important goal of programming language research is to isolate the fundamenal concepts of languages, those basic ideas that allow us to understand the relationships among various language features. This paper examines one of these underlying notions, that of data type , with particular attention to the treatment of generic or polymorphic procedures and static type-checking.Keywords
This publication has 15 references indexed in Scilit:
- On the Semantics of “Data Type”SIAM Journal on Computing, 1979
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- Logic and programming languagesCommunications of the ACM, 1977
- Abstraction mechanisms in CLUCommunications of the ACM, 1977
- Abstract data types and the development of data structuresCommunications of the ACM, 1977
- Some ideas on data types in high-level languagesCommunications of the ACM, 1977
- Report on the programming language EuclidACM SIGPLAN Notices, 1977
- Language design methods based on semantic principlesActa Informatica, 1977
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975