Answers are grounded in this paper and cite their sources.
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.
No takes yet. Share an insight, caveat, or question.
Pierce et al. (1994) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: