Skip to Main content Skip to Navigation
Conference papers

Bounded Polymorphism for Extensible Objects

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.
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download
Contributor : Luigi Liquori Connect in order to contact the contributor
Submitted on : Wednesday, May 20, 2015 - 3:00:15 PM
Last modification on : Tuesday, November 19, 2019 - 11:54:58 AM
Long-term archiving on: : Thursday, April 20, 2017 - 5:24:34 AM


Files produced by the author(s)




Luigi Liquori. Bounded Polymorphism for Extensible Objects. TYPES, Mar 1999, Kloster Irsee, Germany. pp.149-165, ⟨10.1007/3-540-48167-2_11⟩. ⟨hal-01153827⟩



Les métriques sont temporairement indisponibles