Sciweavers

LICS
1993
IEEE

A lambda calculus of objects and method specialization

14 years 2 months ago
A lambda calculus of objects and method specialization
This paper presents an untyped lambda calculus, extended with object primitives that reflect the capabilities of so-called delegation-based object-oriented languages. A type inference system allows static detection of errors, such as message not understood, while at the same time allowing the type of an inherited method to be specialized to the type of the inheriting object. Type soundness is proved using operational semantics and examples illustrating the expressiveness of the pure calculus are presented. CR Classification: F.3.1, D.3.3, F.4.1
John C. Mitchell, Furio Honsell, Kathleen Fisher
Added 09 Aug 2010
Updated 09 Aug 2010
Type Conference
Year 1993
Where LICS
Authors John C. Mitchell, Furio Honsell, Kathleen Fisher
Comments (0)