A lambda calculus of objects and method specialization

Abstract

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… (More)
DOI: 10.1109/LICS.1993.287603

Topics

  • Presentations referencing similar topics