Object-oriented type inference
- 1 November 1991
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 26 (11) , 146-161
- https://doi.org/10.1145/117954.117965
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 theories and object-oriented programmimgACM Computing Surveys, 1988
- Inheritance in smalltalk-80: a denotational definitionPublished by Association for Computing Machinery (ACM) ,1988
- Objects as closures: abstract semantics of object-oriented languagesPublished by Association for Computing Machinery (ACM) ,1988
- Type-checking SmalltalkPublished by Association for Computing Machinery (ACM) ,1986
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- Declaration-free type checkingPublished by Association for Computing Machinery (ACM) ,1985
- A type declaration and inference system for smalltalkPublished by Association for Computing Machinery (ACM) ,1982
- Inferring types in SmalltalkPublished by Association for Computing Machinery (ACM) ,1981
- A general scheme for the automatic inference of variable typesPublished by Association for Computing Machinery (ACM) ,1978