Sound polymorphic type inference for objects
- 17 October 1995
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 30 (10), 169-184
- https://doi.org/10.1145/217838.217858
Abstract
No abstract availableThis publication has 19 references indexed in Scilit:
- Type Inference for Recursively Constrained Types and its Application to OOPElectronic Notes in Theoretical Computer Science, 1995
- Covariance and contravarianceACM Transactions on Programming Languages and Systems, 1995
- A complete type inference system for subtyped recursive typesLecture Notes in Computer Science, 1994
- Type inclusion constraints and type inferencePublished by Association for Computing Machinery (ACM) ,1993
- Safety analysis versus type inference for partial typesInformation Processing Letters, 1992
- Type inference in the presence of overloading, subtyping and recursive typesPublished by Association for Computing Machinery (ACM) ,1992
- Type inference for polymorphic referencesInformation and Computation, 1990
- Three approaches to type structureLecture Notes in Computer Science, 1985
- A semantics of multiple inheritanceLecture Notes in Computer Science, 1984
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978