A Subtyping for Extensible, Incomplete Objects - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Fundamenta Informaticae Year : 1999

A Subtyping for Extensible, Incomplete Objects


We extend the type system for the Lambda Calculus of Objects [16] with a mechanism of width subtyping and a treatment of incomplete objects. The main novelties over previous work are the use of subtype-bounded quantification to capture a new and more direct rendering of MyType polymorphism, and a uniform treatment for other features that were accounted for via different systems in subsequent extensions [7, 6] of [16]. The new system provides for (i) appropriate type specialization of inherited methods, (ii) static detection of errors, (iii) width subtyp-ing compatible with object extension, and (iv) sound typing for partially specified objects.
Fichier principal
Vignette du fichier
1999-fundamenta-09.pdf (383.18 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01153734 , version 1 (20-05-2015)


  • HAL Id : hal-01153734 , version 1


Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori. A Subtyping for Extensible, Incomplete Objects. Fundamenta Informaticae, 1999, 38 (4), pp.325--364. ⟨hal-01153734⟩
284 View
110 Download


Gmail Facebook X LinkedIn More