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 metadatas

Cited literature [25 references]  Display  Hide  Download

https://hal.inria.fr/hal-01153734
Contributor : Luigi Liquori <>
Submitted on : Wednesday, May 20, 2015 - 1:53:59 PM
Last modification on : Thursday, June 14, 2018 - 10:54:03 AM
Long-term archiving on : Thursday, April 20, 2017 - 5:04:46 AM

File

1999-fundamenta-09.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01153734, version 1

Citation

Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori. A Subtyping for Extensible, Incomplete Objects. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1999, 38 (4), pp.325--364. ⟨IOS Press⟩. ⟨hal-01153734⟩

Share

Metrics

Record views

413

Files downloads

85