Bounded Polymorphism for Extensible Objects - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1999

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.
Fichier principal
Vignette du fichier
1999-types-98.pdf (265.93 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01153827 , version 1 (20-05-2015)

Identifiers

Cite

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⟩
172 View
87 Download

Altmetric

Share

Gmail Facebook X LinkedIn More