A Semantics of Object Types Export

@inproceedings{abadi94semantics, abstract = {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.}, address = {Los Alamitos, CA}, author = {Abadi, Mart\'{\i}n and Cardelli, Luca}, booktitle = {Ninth Annual {IEEE} Symposium on Logic in Comptuer Science, Paris, France}, citeulike-article-id = {2170043}, keywords = {calculi, object-orientation, polymorphism, subtyping, type\_systems}, pages = {332--341}, posted-at = {2007-12-26 14:36:36}, priority = {5}, title = {A Semantics of Object Types}, year = {1994} }

TY - CONF ID - abadi94semantics L3 - citeulike-article-id:2170043 N2 - 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. AD - Los Alamitos, CA EP - 341 TI - A Semantics of Object Types T2 - Ninth Annual {IEEE} Symposium on Logic in Comptuer Science, Paris, France SP - 332 KW - calculi KW - object-orientation KW - polymorphism KW - subtyping KW - type_systems AU - Abadi, Mart\'{\i}n AU - Cardelli, Luca PY - 1994/// ER -