On type inference for object-oriented programming languages
- 1 January 1988
- book chapter
- Published by Springer Nature
- p. 151-172
- https://doi.org/10.1007/3-540-50241-6_36
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- Partial polymorphic type inference is undecidablePublished by Institute of Electrical and Electronics Engineers (IEEE) ,1985
- Type inference and type containmentPublished by Springer Nature ,1984
- Polymorphic type schemes and recursive definitionsPublished by Springer Nature ,1984
- A semantics of multiple inheritanceLecture Notes in Computer Science, 1984
- Inferring types in SmalltalkPublished by Association for Computing Machinery (ACM) ,1981