Static type inference for parametric classes
- 1 September 1989
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 24 (10), 445-450
- https://doi.org/10.1145/74877.74923
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- Type checking records and variants in a natural extension of MLPublished by Association for Computing Machinery (ACM) ,1989
- Type inference with subtypesPublished by Association for Computing Machinery (ACM) ,1988
- Using dependent types to express modular structurePublished by Association for Computing Machinery (ACM) ,1986
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- GALILEO: a strongly-typed, interactive conceptual languageACM Transactions on Database Systems, 1985
- Abstract types have existential typesPublished by Association for Computing Machinery (ACM) ,1985
- A kernel language for abstract data types and modulesLecture Notes in Computer Science, 1984
- Fundamental properties of infinite treesTheoretical Computer Science, 1983
- Rationale for the design of the Ada programming languageACM SIGPLAN Notices, 1979
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978