Links und Funktionen

You are here: Home / Publikationen / A Unifying Type-Theoretic Framework for Objects


Martin Hofmann and Benjamin C Pierce (1994)

A Unifying Type-Theoretic Framework for Objects

In: STACS 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994, Proceedings, ed. by Patrice Enjalbert and Ernst W. Mayr and Klaus W. Wagner, vol. 775, pp. 251-262, Springer. Lecture Notes in Computer Science (ISBN: 3-540-57785-8).

We give a direct type-theoretic characterization of the basic mechanisms of object-oriented programming, objects, methods, message passing, and subtyping, by introducing an explicit Object type constructor and suitable introduction, elimination, and equality rules. The resulting abstract framework provides a common basis for justifying and comparing previous encodings of objects based on recursive record types [7, 9], F-bounded quantification [4, 13, 19], and existential types [23].

Document Actions