A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects - Archive ouverte HAL Access content directly
Conference Papers Year :

A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects

(1) , (1, 2)
1
2

Abstract

Labeled types and a new relation between types are added to the lambda calculus of objects as described in [5]. This relation is a trade-off between the possibility of having a restricted form of width subtyping and the features of the delegation-based language itself. The original type inference system allows both specialization of the type of an inherited method to the type of the inheriting object and static detection of errors, such as 'message-not-understood'. The resulting calculus is an extension of the original one. Type soundness follows from the subject reduction property.
Fichier principal
Vignette du fichier
1995-csl-94.pdf (349.09 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

Viviana Bono, Luigi Liquori. A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. Computer Science Logic. 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers, Sep 1994, Kazimierz, Poland. pp.16-30, ⟨10.1007/BFb0022244⟩. ⟨hal-01157171⟩

Collections

INRIA INRIA2
127 View
83 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More