| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects
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.
Cited literature [7 references]
https://hal.inria.fr/hal-01157171
Contributor : Luigi Liquori <>
Submitted on : Wednesday, May 27, 2015 - 5:07:04 PM
Last modification on : Saturday, January 27, 2018 - 1:31:29 AM
Long-term archiving on: : Monday, April 24, 2017 - 4:44:05 PM
Contributor : Luigi Liquori <>
Submitted on : Wednesday, May 27, 2015 - 5:07:04 PM
Last modification on : Saturday, January 27, 2018 - 1:31:29 AM
Long-term archiving on: : Monday, April 24, 2017 - 4:44:05 PM
File
1995-csl-94.pdf
Files produced by the author(s)