Attaching Second-Order Types to Methods in an Object-Oriented Language
- 25 August 2000
- book chapter
- Published by Springer Nature
- p. 142-160
- https://doi.org/10.1007/3-540-47910-4_9
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- Static type inference in a dynamically typed languagePublished by Association for Computing Machinery (ACM) ,1991
- An extension of standard ML modules with subtyping and inheritancePublished by Association for Computing Machinery (ACM) ,1991
- Inheritance is not subtypingPublished by Association for Computing Machinery (ACM) ,1990
- Exception handling and object-oriented programming: towards a synthesisPublished by Association for Computing Machinery (ACM) ,1990
- Toward a typed foundation for method specialization and inheritancePublished by Association for Computing Machinery (ACM) ,1990
- A type system for SmalltalkPublished by Association for Computing Machinery (ACM) ,1990
- A denotational semantics of inheritance and its correctnessPublished by Association for Computing Machinery (ACM) ,1989
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977