A lambda calculus of objects and method specialization Export

@article{citeulike:2198793, 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 inheriting object. Type soundness is proved using operational semantics and examples illustrating the expressiveness of the pure calculus...}, author = {Fisher, Kathleen and Honsell, Furio and Mitchell, John C.}, citeulike-article-id = {2198793}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.5828}, journal = {Nordic Journal of Computing}, keywords = {calculi, lambda\_calculi, object-orientation}, month = {Spring}, number = {1}, pages = {3--37}, posted-at = {2008-01-06 00:46:23}, priority = {3}, title = {A lambda calculus of objects and method specialization}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.5828}, volume = {1}, year = {1994} }

TY - JOUR ID - citeulike:2198793 L3 - citeulike-article-id:2198793 N2 - 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 inheriting object. Type soundness is proved using operational semantics and examples illustrating the expressiveness of the pure calculus... IS - 1 JF - Nordic Journal of Computing EP - 37 TI - A lambda calculus of objects and method specialization VL - 1 SP - 3 KW - calculi KW - lambda_calculi KW - object-orientation AU - Fisher, Kathleen AU - Honsell, Furio AU - Mitchell, John PY - 1994/Spring// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.5828 ER -