• DOI:10.1109/LICS.1993.287603
Corpus ID: 19578302

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

View on IEEE

cs.helsinki.fi

Save to Library

Create Alert

Cite

Launch Research Feed