Type Inference of Self
- 25 August 2000
- book chapter
- Published by Springer Nature
- p. 247-267
- https://doi.org/10.1007/3-540-47910-4_14
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Making type inference practicalPublished by Springer Nature ,2006
- Safety analysis versus type inference for partial typesInformation Processing Letters, 1992
- Compile-time analysis of object-oriented programsPublished by Springer Nature ,1992
- Making pure object-oriented languages practicalPublished by Association for Computing Machinery (ACM) ,1991
- Object-oriented type inferencePublished by Association for Computing Machinery (ACM) ,1991
- Parents are shared parts of objects: Inheritance and encapsulation in SELFHigher-Order and Symbolic Computation, 1991
- Type inference with inequalitiesPublished by Springer Nature ,1991
- A type system for SmalltalkPublished by Association for Computing Machinery (ACM) ,1990
- Self: The power of simplicityPublished by Association for Computing Machinery (ACM) ,1987
- A Simple Algorithm and Proof for Type Inference1Fundamenta Informaticae, 1987