A Typed Lambda Calculus of Objects - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1996

A Typed Lambda Calculus of Objects

Résumé

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.
Fichier principal
Vignette du fichier
1996-asian-96.pdf (273.05 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01156547 , version 1 (27-05-2015)

Identifiants

Citer

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. pp.129-141, ⟨10.1007/BFb0027786⟩. ⟨hal-01156547⟩
181 Consultations
318 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More