Logic in Computer Science (LICS 1993)

Paper: A lambda calculus of objects and method specialization (at LICS 1993)

Authors: John C. Mitchell Furio Honsell Kathleen Fisher

Abstract

An untyped lambda calculus, extended with object primitives that reflect the capabilities of so-called delegation-based object-oriented languages, is presented. 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, in the form of a subject-reduction theorem, is proved, and examples illustrating the expressiveness of the pure calculus are presented

BibTeX

  @InProceedings{MitchellHonsellFish-Alambdacalculusofob,
    author = 	 {John C. Mitchell and Furio Honsell and Kathleen Fisher},
    title = 	 {A lambda calculus of objects and method specialization},
    booktitle =  {Proceedings of the Eighth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1993},
    year =	 1993,
    editor =	 {Moshe Vardi},
    month =	 {June}, 
    pages =      {26--38},
    location =   {Montreal, Canada}, 
    publisher =	 {IEEE Computer Society Press}
  }