Comparing Object Encodings

Information and Computation

Volumn 155, Issue 1-2, 1999, Pages 108-133

  Bruce, Kim B ^a   Cardelli, Luca ^b   Pierce, Benjamin C ^c  

^a WILLIAMS COLLEGE   (United States)

^b MICROSOFT RESEARCH   (United Kingdom)

^c UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0000582523     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1006/inco.1999.2829     Document Type: Article

References (54)

1. Amadio, R., and Cardelli, L. (1993), Subtyping recursive types, ACM Trans. Programming Lang. Systems 15(4), 575-631.
2. Abadi, M., and Cardelli, L. (1995), On subtyping and matching, in "Proceedings ECOOP '95," pp. 145-167.
3. Abadi, M., and Cardelli, L. (1996), "A Theory of Objects," Springer-Verlag, New York/Berlin.
4. Abadi, M., Cardelli, L., and Viswanathan, R. (1996), An interpretation of objects and object types, in "Principles of Programming Languages," pp. 396-409.
5. Arnold, K., and Gosling, J. (1996), "The Java Programming Language," Addison-Wesley, Reading, MA.
6. Adams, N., and Rees, J. (1988), Object-oriented programming in Scheme, in "Proceedings of the 1988 ACM Conference on Lisp and Functional Programming," pp. 277-288, Assoc. Comput. Mach., New York.
7. Bruce, K. B., Cardelli, L., Castagna, G., the Hopkins Objects Group (Eifrig, J., Smith, S., Trifonov, V.), Leavens, G. T., and Pierce, B. (1966), On binary methods, Theory Practice Object Systems 1(3), 221-242.
8. Birtwistle, G. M., Dahl, O.-J., Myhrhaug, B., and Nygaard, K. (1979), "Simula Begin," Studentlitteratur (Lund, Sweden), Bratt Institut fuer neues Lernen (Goch, FRG), Chartwell-Bratt Ltd (Kent, England).
9. Bruce, K. B., Fiech, A., and Petersen, L. (1997), Subtyping is not a good "match" for object-oriented languages, in "ECOOP '97," pp. 104-127, Lect. Notes in Comput. Sci, Vol. 1241, Springer-Verlag, New York/Berlin.
10. Black, A. P., Hutchinson, N., Jul, E., Levy, H. M., and Carter, L. (1987), Distribution and abstract types in Emerald, IEEE Trans. Software Eng. SE-13(1), 65-76.
11. Bruce, K. B. (1994), A paradigmatic object-oriented programming language: Design, static typing and semantics, J. Funct. Programming 4(2). [A preliminary version appeared in POPL 1993 under the title "Safe Type Checking in a Statistically Typed Object-Oriented Programming Language"]
12. Bruce, K. B., Schuett, A., and van Gent, R. (1995), PolyTOIL: A type-safe polymorphic object-oriented language (extended abstract), in "ECOOP '95," pp. 27-51, Lect. Notes in Comput. Sci., Vol. 952, Springer-Verlag, New York/Berlin.
13. Cardelli, L. (1984), A semantics of multiple inheritance, in "Semantics of Data Types," (G. Kahn, D. MacQueen, and G. Plotkin, Eds.), Lecture Notes in Computer Science, Vol. 173, pp. 51-67, Springer-Verlag, New York/Berlin. [Full version in Inform. and Comput. 76(2/3), 138-164, 1988]
14. Cardelli, L. (1984), A semantics of multiple inheritance, in "Semantics of Data Types," (G. Kahn, D. MacQueen, and G. Plotkin, Eds.), Lecture Notes in Computer Science, Vol. 173, pp. 51-67, Springer-Verlag, New York/Berlin. [Full version in Inform. and Comput. 76(2/3), 138-164, 1988]
15. <:, unpublished manuscript.
16. Canning, P., Cook, W., Hill, W., Mitchell, J., and Olthoff, W. (1989), F-bounded quantification for object-oriented programming, in "Funct. Prog. Comput. Architecture" pp. 273-280.
17. Canning, P., Cook, W., Hill, W., Olthoff, W., and Mitchell, J. (1989), F-bounded quantification for object-oriented programming, in "Fourth International Conference on Functional Programming Languages and Computer Architecture," pp. 273-280.
18. <, Math. Struct. Comput. Sci. 2, 55-91. [Also in "Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design" (C. A. Gunter and J. C. Mitchell, Eds.), MIT Press, Cambridge, MA, 1994]
19. <, Math. Struct. Comput. Sci. 2, 55-91. [Also in "Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design" (C. A. Gunter and J. C. Mitchell, Eds.), MIT Press, Cambridge, MA, 1994]
20. Cook, W. R., Hill, W. L., and Canning, P. S. (1990), Inheritance is not subtyping, in "Proc. 17th ACM Symp. on Principles of Programming Languages," pp. 125-135.
21. Cardelli, L., and Longo, G. (1991), A semantic basis for Quest, J. Funct. Programming 1(4), 417-458.
22. ∧ is decidable"]
23. Cook, W. (1989), "A Denotational Semantics of Inheritance," Ph.D. thesis, Brown University.
24. Cook, W., and Palsberg, J. (1989), A denotational semantics of inheritance and its correctness, in "Proc. ACM Conf. on Object-Oriented Programming: Systems, Languages and Applications," pp. 433-444.
25. Cardelli, L., and Wegner, P. (1985), On understanding types, data abstraction, and polymorphism, Comput. Surveys 17(4).
26. Duggan, D., and Compagnoni, A. (1999), Subtyping for object type constructors, in "Informal proceedings of the Sixth International Workshop on Foundations of Object-Oriented Languages (FOOL)."
27. Day, M., Gruber, R., Liskov, B., and Meyers, A. C. (1995), Subtypes vs. where clauses: Constraining parametric polymorphism, in "Proc. ACM Symp. on Object-Oriented Programming: Systems, Languages, and Applications," pp. 156-168.
28. Fisher, K., and Mitchell, J. (1994), Notes on typed object-oriented programming, in "Proceedings Theoretical Aspects of Computer Software," pp. 138-150, Springer, Lecture Notes in Computer Science, Vol. 789.
29. Fisher, K., and Mitchell, J. (1996), The development of type systems for object-oriented languages, Theory and Practice of Object Systems 1(3), 189-220.
30. ≤, in "Typed Lambda Calculus and Applications" (M. Bezem and J. F. Groote, Eds.), Lecture Notes in Computer Science, Vol. 664, Springer-Verlag.
31. ≤ type checking, Theor. Comp. Sci. 139(1, 2), 131-162.
32. Goldberg, A., and Robson, D. (1983), "Smalltalk-80: The Language and Its Implementation," Addison-Wesley, Reading, MA.
33. Hoffmann, M., and Pierce, B. (1985), A unifying type-theoretic framework for objects, J. Funct. Programming 5(4), 593-635. [Previous versions appeared in the "Symposium on Theoretical Aspects of Computer Science, 1994" (pp. 252-262) and, under the title "An Abstract View of Objects and Subtyping (Preliminary Report)," as University of Edinburgh, LFCS technical report ECS-LFCS-92-226, 1992]
34. Hoffmann, M., and Pierce, B. (1985), A unifying type-theoretic framework for objects, J. Funct. Programming 5(4), 593-635. [Previous versions appeared in the "Symposium on Theoretical Aspects of Computer Science, 1994" (pp. 252-262) and, under the title "An Abstract View of Objects and Subtyping (Preliminary Report)," as University of Edinburgh, LFCS technical report ECS-LFCS-92-226, 1992]
35. Hoffmann, M., and Pierce, B. (1985), A unifying type-theoretic framework for objects, J. Funct. Programming 5(4), 593-635. [Previous versions appeared in the "Symposium on Theoretical Aspects of Computer Science, 1994" (pp. 252-262) and, under the title "An Abstract View of Objects and Subtyping (Preliminary Report)," as University of Edinburgh, LFCS technical report ECS-LFCS-92-226, 1992]
36. Jacobs, B. (1996), Inheritance and cofree constructions, in "European Conference on Object-Oriented Programming (ECOOP96)" (P. Cointe, Ed.), Lecture Notes in Computer Science, No. 1098, pp. 210-231, Springer-Verlag, Berlin/New York.
37. Bruun Kristensen, B., Lehrmann Madsen, O., Møller-Pedersen, B., and Nygaard, K. (1987), The BETA programming language, in "Research Directions in Object-Oriented Programming" (B. Shriver and P. Wegner, Eds.), MIT Press, Cambridge, MA.
38. Kamin, N. S., and Reddy, U. S. (1994), Two semantic models of object-oriented languages, in "Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design" (C. E. Gunter and J. C. Mitchell, Eds.), pp. 464-495, MIT Press.
39. Mitchell, J. C. (1990), Toward a typed foundation for method specialization and inheritance, in "Proceedings of the 17th ACM Symposium on Principles of Programming Languages," pp. 109-124. [Also in C. A. Gunter and J. C. Mitchell, Eds., "Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design," MIT Press, 1994]
40. Mitchell, J. C. (1990), Toward a typed foundation for method specialization and inheritance, in "Proceedings of the 17th ACM Symposium on Principles of Programming Languages," pp. 109-124. [Also in C. A. Gunter and J. C. Mitchell, Eds., "Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design," MIT Press, 1994]
41. Minamide, Y., Morrisett, G., and Harper, R. (1996), Typed closure conversion, in "Proc. 23rd ACM Symp. on Principles of Programming Languages," pp. 271-283.
42. Mitchell, J. C., and Plotkin, G. D. (1988), Abstract types have existential type, ACM Trans. Programming Lang. Systems 10(3), 470-502. [Preliminary version appeared in Proc. 12th ACM Symp. on Principles of Programming Languages, 1985]
43. Mitchell, J. C., and Plotkin, G. D. (1988), Abstract types have existential type, ACM Trans. Programming Lang. Systems 10(3), 470-502. [Preliminary version appeared in Proc. 12th ACM Symp. on Principles of Programming Languages, 1985]
44. Pierce, B. C. (1994), Bounded quantification is undecidable, Inform. and Comput. 112(1), 131-165. [Also in C. A. Gunter and J. C. Mitchell, Eds., "Theoretical Aspects of Object- Oriented Programming: Types, Semantics, and Language Design" (MIT Press, 1994). A preliminary version appeared in POPL '92]
45. Pierce, B. C. (1994), Bounded quantification is undecidable, Inform. and Comput. 112(1), 131-165. [Also in C. A. Gunter and J. C. Mitchell, Eds., "Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design" (MIT Press, 1994). A preliminary version appeared in POPL '92]
46. Pierce, B., and Steffen, M. (1997), Higher-order subtyping, Theoret. Comput. Sci., to appear. [A preliminary version appeared in IFIP Working Conference on Programming Concepts, Methods and Calculi (PROCOMET), June 1994, and as University of Edinburgh technical report ECS-LFCS-94-280 and Universität Erlangen-Nürnberg Interner Bericht IMMD7-01/94, 1994]
47. Pierce, B., and Steffen, M. (1997), Higher-order subtyping, Theoret. Comput. Sci., to appear. [A preliminary version appeared in IFIP Working Conference on Programming Concepts, Methods and Calculi (PROCOMET), June 1994, and as University of Edinburgh technical report ECS-LFCS-94-280 and Universität Erlangen-Nürnberg Interner Bericht IMMD7-01/94, 1994]
48. Pierce, B. C., and Turner, D. N. (1994), Simple type-theoretic foundations for object-oriented programming, J. Funct. Programming 4, 207-247. [ An earlier version appeared in Proc. of POPL '93, pp. 299-312]
49. Pierce, B. C., and Turner, D. N. (1994), Simple type-theoretic foundations for object- oriented programming, J. Funct. Programming 4, 207-247. [ An earlier version appeared in Proc. of POPL '93, pp. 299-312]
50. Reddy, U. S. (1988), Objects as closures: Abstract semantics of object oriented languages, in "Proceedings of the 1988 ACM Symposium on Lisp and Functional Programming, Snowbird, Utah," pp. 289-297.
51. Reichel, H. (1995), An approach to object semantics based on terminal co-algebras, Math. Struct. Comput. Sci., to appear.
52. Sangiorgi, D. (1996), Interpreting typed objects into typed pi-calculus (invited lecture). Available electronically through http://www.cs.williams.edu/∼kim/FOOL/ Abstracts.html.
53. Steffen, M. (1998), "Polarized Higher-Order Subtyping," Ph.D. thesis, Universität Erlangen-Nürnberg.
54. Stroustrup, B. (1986), "The C++ Programming Language," Addison-Wesley, Reading, MA.