A Typed Lambda Calculus of Objects

Abstract : In this paper, we present an explicitly typed version of the Lambda Calculus of Objects of [7], which is a development of the object-calculi defined in [10, 2]. This calculus supports object extension in presence of object subsumption. Extension is the ability of modify the behavior of an object by adding new methods (and inheriting the existing ones). Object subsumption allows to use objects with a bigger interface in a context expecting another object with a smaller interface. This calculus has a sound and decidable type system, " width " subtyping, and it allows for first-class method bodies.
Type de document :
Communication dans un congrès
Concurrency and Parallelism, Programming, Networking, and Security. Second Asian Computing Science Conference, ASIAN'96 Singapore, December 2–5, 1996 Proceedings, Dec 1996, Singapore, Singapore. Springer Verlag, 1179, pp.129-141, Lecture Notes in Computer Science. 〈10.1007/BFb0027786〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01156547
Contributeur : Luigi Liquori <>
Soumis le : mercredi 27 mai 2015 - 15:30:41
Dernière modification le : mardi 24 avril 2018 - 17:20:13
Document(s) archivé(s) le : lundi 24 avril 2017 - 15:45:33

Fichier

1996-asian-96.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Luigi Liquori, Giuseppe Castagna. A Typed Lambda Calculus of Objects. Concurrency and Parallelism, Programming, Networking, and Security. Second Asian Computing Science Conference, ASIAN'96 Singapore, December 2–5, 1996 Proceedings, Dec 1996, Singapore, Singapore. Springer Verlag, 1179, pp.129-141, Lecture Notes in Computer Science. 〈10.1007/BFb0027786〉. 〈hal-01156547〉

Partager

Métriques

Consultations de la notice

255

Téléchargements de fichiers

86