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.

A Lambda Calculus of Objects and Method Specialization

HONSELL, Furio;
1994

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.
File in questo prodotto:
File Dimensione Formato  
inv_paper1.pdf

non disponibili

Tipologia: Documento in Post-print
Licenza: Non pubblico
Dimensione 250.33 kB
Formato Adobe PDF
250.33 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11390/675628
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact