Abstract
In the ECOOP’97 conference, the author of the present paper investigated a conservative extension, called Ob+1:, of the first-order Object Calculus Ob1: of Abadi and Cardelli, supporting method extension in presence of object subsumption. In this paper, we extend that work with explicit variance annotations and selftypes. The resulting calculus, called Ob+s:, is a proper extension of Ob+1:. Moreover it is proved to be type sound.
Author supplied keywords
Cite
CITATION STYLE
Liquori, L. (1999). Bounded polymorphism for extensible objects. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1657, pp. 149–165). Springer Verlag. https://doi.org/10.1007/3-540-48167-2_11
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
