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 metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/hal-01153827
Contributor : Luigi Liquori <>
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

File

1999-types-98.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

427

Files downloads

227