Abstract
In this paper, we present an explicitly typed version of the Lambda Calculus of Objects of [7], which is a development of the object-calculi defined in [10, 2]. This calculus supports object extension in presence of object subsumption. Extension is the ability of modify the behavior of an object by adding new methods (and inheriting the existing ones). Object subsumption allows to use objects with a bigger interface in a context expecting another object with a smaller interface. This calculus has a sound and decidable type system, “width” subtyping, and it allows for first-class method bodies.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
M. Abadi and L. Cardelli. A Theory of Objects. Springer-Verlag, 1996.
V. Bono and L. Liquori. A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. In Proc. of CSL, volume 933 of Lecture Notes in Computer Science, pages 16–30. Springer-Verlag, 1995.
G. Castagna. Covariance and contravariance: conflict without a cause. ACM Transactions on Programming Languages and Systems, 17(3):431–447, 1995.
G. Castagna. Object-Oriented Programming: A Unified Foundation. Progress in Theoretical Computer Science. Birkäuser, Boston, 1996.
G. Castagna, G. Ghelli, and G. Longo. A calculus for overloaded functions with subtyping. Information and Computation, 117(1): 115–135, 1995.
G. Castagna and L. Liquori. Multi-methods in delegation-based object-oriented languages. Manuscript, 1996.
K. Fisher, F. Honsell, and J. C. Mitchell. A Lambda Calculus of Objects and Method Specialization. Nordic Journal of Computing, 1(1):3–37, 1994.
K. Fisher and J. C. Mitchell. A Delegation-based Object Calculus with Subtyping. In Proc. of FCT, volume 965 of Lecture Notes in Computer Science, pages 42–61 Springer-Verlag 1995.
L. Liquori. An Extended Theory of Primitive Objects. Technical Report CS-23-96, Computer Science Department, Turin University, Italy, 1996.
J. C. Mitchell. Toward a Typed Foundation for Method Specialization and Inheritance. In Proc. of POPL, pages 109–124. The ACM Press, 1990.
J. Palsberg and T. Jim. Type Inference for Simple Object Types is NP-Complete. Manuscript, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Liquori, L., Castagna, G. (1996). A typed Lambda Calculus of Objects. In: Jaffar, J., Yap, R.H.C. (eds) Concurrency and Parallelism, Programming, Networking, and Security. ASIAN 1996. Lecture Notes in Computer Science, vol 1179. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0027786
Download citation
DOI: https://doi.org/10.1007/BFb0027786
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62031-0
Online ISBN: 978-3-540-49626-7
eBook Packages: Springer Book Archive