Skip to Main content Skip to Navigation
New interface
Journal articles

A Subtyping for Extensible, Incomplete Objects

Abstract : 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.
Complete list of metadata

Cited literature [25 references]  Display  Hide  Download
Contributor : Luigi Liquori Connect in order to contact the contributor
Submitted on : Wednesday, May 20, 2015 - 1:53:59 PM
Last modification on : Friday, November 25, 2022 - 7:07:32 PM
Long-term archiving on: : Thursday, April 20, 2017 - 5:04:46 AM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads