| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Subtyping Constraints for Incomplete Objects: (extended abstract)
Abstract : We extend the type system for the Lambda Calculus of Objects [14] to account for a notion of width subtyping. The main novelties over previous work are the use of bounded quantification to achieve 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 [14]. In particular, the new system provides for (i) appropriate type specialization of inherited methods, (ii) static detection of errors, (iii) width subtyping compatible with object extension, and (iv) complete freedom in the order of method addition.
Cited literature [21 references]
https://hal.inria.fr/hal-01154622
Contributor : Luigi Liquori <>
Submitted on : Friday, May 22, 2015 - 3:45:55 PM
Last modification on : Thursday, June 14, 2018 - 10:54:03 AM
Long-term archiving on: : Thursday, April 20, 2017 - 7:10:28 AM
Contributor : Luigi Liquori <>
Submitted on : Friday, May 22, 2015 - 3:45:55 PM
Last modification on : Thursday, June 14, 2018 - 10:54:03 AM
Long-term archiving on: : Thursday, April 20, 2017 - 7:10:28 AM
File
1997-caap-fase-97.pdf
Files produced by the author(s)