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.
Type de document :
Communication dans un congrès
TYPES, Mar 1999, Kloster Irsee, Germany. Springer Verlag, 1657, pp.149-165, 1999, Lecture Notes in Computer Science. 〈10.1007/3-540-48167-2_11〉
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01153827
Contributeur : Luigi Liquori <>
Soumis le : mercredi 20 mai 2015 - 15:00:15
Dernière modification le : samedi 27 janvier 2018 - 01:30:57
Document(s) archivé(s) le : jeudi 20 avril 2017 - 05:24:34

Fichier

1999-types-98.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Luigi Liquori. Bounded Polymorphism for Extensible Objects. TYPES, Mar 1999, Kloster Irsee, Germany. Springer Verlag, 1657, pp.149-165, 1999, Lecture Notes in Computer Science. 〈10.1007/3-540-48167-2_11〉. 〈hal-01153827〉

Partager

Métriques

Consultations de la notice

305

Téléchargements de fichiers

44