A lambda calculus of objects and method specialization

  title={A lambda calculus of objects and method specialization},
  author={K. Fisher and F. Honsell and J. Mitchell},
  journal={[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science},
  • K. Fisher, F. Honsell, J. Mitchell
  • Published 1993
  • Mathematics, Computer Science
  • [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science
  • 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… CONTINUE READING
    232 Citations
    A Delegation-based Object Calculus with Subtying
    • 101
    A Typed Lambda Calculus of Objects (Extended Abstract)
    • 16
    • Highly Influenced
    • PDF
    A Lambda Calculus of Incomplete Objects
    • 22
    • Highly Influenced
    • PDF
    A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects
    • 45
    • PDF
    A Core Calculus of Classes and Objects
    • 17
    Typed interpretations of extensible objects
    • 3
    • Highly Influenced
    Matching Constraints for the Lambda Calculus of Objects
    • 13
    • PDF
    An Imperative, First-Order Calculus with Object Extension
    • 54
    • PDF
    A Calculus for Concurrent Objects
    • 57
    • PDF


    Toward a typed foundation for method specialization and inheritance
    • 148
    A Proposal for Making Eiffel Type-Safe
    • W. Cook
    • Computer Science
    • Comput. J.
    • 1989
    • 208
    • PDF
    A Proposal for Making Eiel Type-safe
    • 22
    Self: The power of simplicity
    • 690
    Operations on Records
    • 144
    • PDF
    Baby Modula-3 and a Theory of Objects
    • M. Abadi
    • Computer Science
    • J. Funct. Program.
    • 1994
    • 55
    • PDF
    Eiffel: The Language
    • 1,434
    Object-oriented programming in scheme
    • 51
    T: a dialect of Lisp or LAMBDA: The ultimate software tool
    • 92
    • PDF
    Smalltalk-80: The Language and Its Implementation
    • 4,198