A lambda calculus of objects and method specialization

A lambda calculus of objects and method specialization
复制标题

对象和方法特化的 lambda 演算

DOI：
10.1109/lics.1993.287603
复制
发表时间：
1993
期刊：
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
通讯作者：
John C. Mitchell
John C. Mitchell
中科院分区：
--
文献类型：
--
作者：
Kathleen Fisher;F. Honsell;John C. Mitchell

文献摘要

被引文献

相似文献

一个无类型的lambda演算，扩展与对象原语，反映所谓的委托为基础的面向对象的语言的能力，提出。类型推断系统允许静态检测错误，例如消息不被理解，同时允许继承方法的类型专用于继承对象的类型。类型的健全性，在一个主题减少定理的形式，证明，并举例说明了表达的纯演算。&lt;<ETX>&gt;
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.<<ETX>>