On object extension

Abstract : The last few years have seen the development of statically typed object based (also called prototype-based) programming languages. Two proposals, namely the Lambda Calculus of Objects of Fisher, Honsell, and Mitchell [15], and the Object Calculus of Abadi and Cardelli [2], have focused the attention of the scientific community on object calculi, as a foundation for the more traditional class-based calculi and as an original and safe style of programming. In this paper, we apply four type systems to the functional Lambda Calculus of Objects: (a) the Original type system [15]; (b) the Fisher's Ph.D type system [14]; (c) the Bruce's Matching-based type systems of Bono and Bugliesi [4], and (d) of Liquori [20]. We then compare these type systems with respect to the following points: – small-step versus big-step semantics; – implicit versus explicit polymorphism; – Curry style versus Church style; – static type checking versus run-time type checking; – object extension and/or binary methods versus object subsumption (short account).
Type de document :
Communication dans un congrès
ECOOP, Jul 1998, Brussels, Belgium. Springer Verlag, 1445, pp.498-522, 1998, Lecture Notes in Computer Science. 〈10.1007/BFb0054105〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01154560
Contributeur : Luigi Liquori <>
Soumis le : vendredi 22 mai 2015 - 13:54:43
Dernière modification le : samedi 27 janvier 2018 - 01:31:28
Document(s) archivé(s) le : jeudi 20 avril 2017 - 06:53:00

Fichier

1998-ecoop-98.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Luigi Liquori. On object extension. ECOOP, Jul 1998, Brussels, Belgium. Springer Verlag, 1445, pp.498-522, 1998, Lecture Notes in Computer Science. 〈10.1007/BFb0054105〉. 〈hal-01154560〉

Partager

Métriques

Consultations de la notice

373

Téléchargements de fichiers

51