A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects

Abstract : Labeled types and a new relation between types are added to the lambda calculus of objects as described in [5]. This relation is a trade-off between the possibility of having a restricted form of width subtyping and the features of the delegation-based language itself. The original type inference system allows both specialization of the type of an inherited method to the type of the inheriting object and static detection of errors, such as 'message-not-understood'. The resulting calculus is an extension of the original one. Type soundness follows from the subject reduction property.
Type de document :
Communication dans un congrès
Computer Science Logic. 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers, Sep 1994, Kazimierz, Poland. Springer Verlag, 933, pp.16-30, Lecture Notes in Computer Science. 〈10.1007/BFb0022244〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01157171
Contributeur : Luigi Liquori <>
Soumis le : mercredi 27 mai 2015 - 17:07:04
Dernière modification le : samedi 27 janvier 2018 - 01:31:29
Document(s) archivé(s) le : lundi 24 avril 2017 - 16:44:05

Fichier

1995-csl-94.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Viviana Bono, Luigi Liquori. A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. Computer Science Logic. 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers, Sep 1994, Kazimierz, Poland. Springer Verlag, 933, pp.16-30, Lecture Notes in Computer Science. 〈10.1007/BFb0022244〉. 〈hal-01157171〉

Partager

Métriques

Consultations de la notice

247

Téléchargements de fichiers

45