A lambda calculus of objects and method specialization

@article{Fisher1993ALC,
  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},
  year={1993},
  pages={26-38}
}
  • K. Fisher, F. Honsell, J. Mitchell
  • Published 1993
  • Computer Science, Mathematics
  • [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
    229 Citations
    A Delegation-based Object Calculus with Subtying
    • 99
    A Typed Lambda Calculus of Objects (Extended Abstract)
    • 15
    • Highly Influenced
    • PDF
    A Lambda Calculus of Incomplete Objects
    • 20
    • Highly Influenced
    • PDF
    A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects
    • 42
    • PDF
    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
    • 52
    • PDF
    A Calculus for Concurrent Objects
    • 57
    • PDF

    References

    SHOWING 1-10 OF 21 REFERENCES
    Toward a typed foundation for method specialization and inheritance
    • 144
    A Proposal for Making Eiffel Type-Safe
    • W. Cook
    • Computer Science
    • Comput. J.
    • 1989
    • 202
    • PDF
    Self: The power of simplicity
    • 774
    A Proposal for Making Eiel Type-safe
    • 22
    Operations on Records
    • 117
    • PDF
    Customization: optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language
    • 281
    Eiffel: The Language
    • 1,403
    Baby Modula-3 and a Theory of Objects
    • M. Abadi
    • Computer Science
    • J. Funct. Program.
    • 1994
    • 55
    • PDF
    Object-oriented programming in scheme
    • 49
    T: a dialect of Lisp or LAMBDA: The ultimate software tool
    • 89
    • PDF