Sciweavers

Share
LICS
1994
IEEE

A Semantics of Object Types

9 years 2 months ago
A Semantics of Object Types
: 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.
Martín Abadi, Luca Cardelli
Added 09 Aug 2010
Updated 09 Aug 2010
Type Conference
Year 1994
Where LICS
Authors Martín Abadi, Luca Cardelli
Comments (0)
books