CINECA IRIS Institutional Research Information System
IRIS è la piattaforma adottata dall’Università degli Studi di Udine per gestire l’archivio aperto dei prodotti della ricerca. L’archivio contiene articoli, contributi in volume, monografie, interventi pubblicati in atti di convegno, Tesi di dottorato e altri materiali.
EnglishThis paper presents an untyped lambda calculus, extended with object primitives that reflect the capabilities of so-called delegation-based object-oriented languages. A type inference system allows static detection of errors, such as message not understood, while at the same time allowing the type of an inherited method to be specialized to the type of the inheriting object. Type soundness, in the form of a `subject-reduction' theorem, is proved and examples illustrating the expressiveness of the pure calculus are presented.
| Titolo: | A Lambda Calculus of Objects and Method Specialization |
| Autori: | |
| Data di pubblicazione: | 1994 |
| Rivista: | |
| Abstract: | This paper presents an untyped lambda calculus, extended with object primitives that reflect the capabilities of so-called delegation-based object-oriented languages. A type inference system allows static detection of errors, such as message not understood, while at the same time allowing the type of an inherited method to be specialized to the type of the inheriting object. Type soundness, in the form of a `subject-reduction' theorem, is proved and examples illustrating the expressiveness of the pure calculus are presented. |
| Handle: | http://hdl.handle.net/11390/675628 |
| Appare nelle tipologie: | 1.1 Articolo in rivista |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| inv_paper1.pdf | Documento in Post-print | Non pubblico | Accesso ristretto Richiedi una copia |
Copyright © 2020