Abstract
We describe a second-order calculus of objects. The calculus supports object subsumption, method override, and the type Self. It is constructed as an extension of System F with subtyping, recursion, and first-order object types.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
M. Abadi and L. Cardelli, A semantics of object types. To appear.
M. Abadi and L. Cardelli, A theory of primitive objects. To appear.
M. Abadi and L. Cardelli. A theory of primitive objects: untyped and first-order systems. Proc. Theoretical Aspects of Computer Software. Springer-Verlag.
C. Böhm and A. Berarducci, Automatic synthesis of typed λ-programs on term algebras. Theoretical Computer Science 39, 135–154.
K. Bruce. A paradigmatic object-oriented programming language: design, static typing, and semantics. Technical Report No. CS-92-01, revised (to appear in the Journal of Functional Programming). Williams College.
L. Cardelli. Extensible records in a pure calculus of subtyping. Technical Report n.81. DEC Systems Research Center.
L. Cardelli, J.C. Mitchell, S. Martini, and A. Scedrov. An extension of system F with subtyping. Proc. Theoretical Aspects of Computer Software. Lecture Notes in Computer Science 526. Springer-Verlag.
L. Cardelli and P. Wegner, On understanding types, data abstraction and polymorphism. Computing Surveys 17(4), 471–522.
P.-L. Curien and G. Ghelli, Coherence of subsumption, minimum typing and type-checking in F≤. Mathematical Structures in Computer Science 2(1), 55–91.
J.-Y. Girard, Y. Lafont, and P. Taylor, Proofs and types. Cambridge University Press.
D.B. MacQueen, G.D. Plotkin, and R. Sethi, An ideal model for recursive polymorphic types. Information and Control 71, 95–130.
B. Meyer, Object-oriented software construction. Prentice Hall.
J.C. Mitchell, F. Honsell, and K. Fisher. A lambda calculus of objects and method specialization. Proc. 8th Annual IEEE Symposium on Logic in Computer Science.
C. Wadsworth, Some unusual λ-calculus numeral systems. In To H.B. Curry: Essays on combinatory logic, lambda calculus and formalism, J.P. Seldin and J.R. Hindley, ed. Academic Press.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Abadi, M., Cardelli, L. (1994). A theory of primitive objects. In: Sannella, D. (eds) Programming Languages and Systems — ESOP '94. ESOP 1994. Lecture Notes in Computer Science, vol 788. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57880-3_1
Download citation
DOI: https://doi.org/10.1007/3-540-57880-3_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57880-2
Online ISBN: 978-3-540-48376-2
eBook Packages: Springer Book Archive