Simple type-theoretic foundations for object-oriented programming
- 1 April 1994
- journal article
- research article
- Published by Cambridge University Press (CUP) in Journal of Functional Programming
- Vol. 4 (2) , 207-247
- https://doi.org/10.1017/s0956796800001040
Abstract
We develop a formal, type-theoretic account of the basic mechanisms of object-oriented programming: encapsulation, message passing, subtyping and inheritance. By modelling object encapsulation in terms of existential types instead of the recursive records used in other recent studies, we obtain a substantial simplification both in the model of objects and in the underlying typed λ-calculus.Keywords
This publication has 3 references indexed in Scilit:
- A calculus for overloaded functions with subtypingPublished by Association for Computing Machinery (ACM) ,1992
- A static type system for message passingPublished by Association for Computing Machinery (ACM) ,1991
- ML with extended pattern matching and subtypesPublished by Association for Computing Machinery (ACM) ,1988