A Semantics of Object Types
- Martin Abadi ,
- Luca Cardelli
Ninth Annual IEEE Symposium on Logic in Comptuer Science, Paris, France |
We give a semantics for a typed object calculus, an extension of System F with object subsumption and method override. We interpret the calculus in a per model, proving the soundness of both typing and equational rules. This semantics suggests a syntactic translation from our calculus into a simpler calculus with neither subtyping nor objects.