A theory of type polymorphism in programming
- 3 December 1978
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 17 (3), 348-375
- https://doi.org/10.1016/0022-0000(78)90014-4
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Some ideas on data types in high-level languagesCommunications of the ACM, 1977
- Report on the programming language EuclidACM SIGPLAN Notices, 1977
- Data Types as LatticesSIAM Journal on Computing, 1976
- A Powerdomain ConstructionSIAM Journal on Computing, 1976
- The treatment of data types in EL1Communications of the ACM, 1974
- Programming with abstract data typesACM SIGPLAN Notices, 1974
- The Principal Type-Scheme of an Object in Combinatory LogicTransactions of the American Mathematical Society, 1969
- The next 700 programming languagesCommunications of the ACM, 1966
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- On the recursive programming techniquesCommunications of the ACM, 1964