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].
CITATION STYLE
Hofmann, M., & Pierce, B. (1994). A unifying type-theoretic framework for objects. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 775 LNCS, pp. 251–262). Springer Verlag. https://doi.org/10.1007/3-540-57785-8_146
Mendeley helps you to discover research relevant for your work.