Foundations for virtual types

Information and Computation

Volumn 175, Issue 1, 2002, Pages 34-49

  Igarashi, Atsushi ^a   Pierce, Benjamin C ^b  

^a UNIVERSITY OF TOKYO   (Japan)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTER SIMULATION; CONSTRAINT THEORY; DIFFERENTIATION (CALCULUS); JAVA PROGRAMMING LANGUAGE;

VIRTUAL TYPES;

OBJECT ORIENTED PROGRAMMING;

EID: 0037172650     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1006/inco.2001.2942     Document Type: Conference Paper

References (34)

1. Abadi, M., and Cardelli, L. (1996), "A Theory of Objects," Springer-Verlag, Berlin.
2. Agesen, O., Freund, S. N., and Mitchell, J. C. (1997), Adding type parameterization to the Java language, in "Object-Oriented Programming: Systems, Languages, and Applications (OOPSLA), Atlanta, GA," pp. 49-65.
3. Bracha, G., Odersky, M., Stoutamire, D., and Wadler, P. (1998), Making the future safe for the past: Adding genericity to the Java programming language, in "Object-Oriented Programming: Systems, Languages, and Applications (OOPSLA) Vancouver, BC" (C. Chambers, Ed.), ACM SIGPLAN Notices 33 (10), 183-200.
4. Bruce, K. B., Cardelli, L., and Pierce, B. C. (1999), Comparing object encodings, Inform. and Comput. 155, 108-133. A special issue with papers from Theoretical Aspects of Computer Software (TACS), September, 1997. An earlier version appeared as an invited lecture in the (1996), "Third International Workshop on Foundations of Object Oriented Languages (FOOL 3)."
5. Bruce, K. B., Odersky, M., and Wadler, P. (1998), A statically safe alternative to virtual types, in "Proceedings of the European Conference on Object-Oriented Programming (ECOOP), Brussels, Belgium," Lecture Notes in Computer Science, Vol. 1445, pp. 523-549, Springer-Verlag, Berlin.
6. Bruce, K. B., Schuett, A., and van Gent, R. (1995), PolyTOIL: A type-safe polymorphic object-oriented language, in "Proceedings of ECOOP '95, Aarhus, Denmark" (W. Olthoff, Ed.), Lecture Notes in Computer Science, Vol. 952, pp. 27-51, Springer-Verlag, Berlin.
7. Bruce, K. B., and Vanderwaart, J. C. (1999), Semantics-driven language design: Statically type-safe virtual types in object-oriented languages, in "Proceedings of the Fifteenth Conference on the Mathematical Foundations of Programming Semantics (MFPS XV), New Orleans, LA," Electronic Notes in Theoretical Computer Science, Vol. 20, Elsevier, Amsterdam, available at http://www.elsevier.nl/locate/entcs/volume20.html.
8. ω, unpublished manuscript.
9. Cardelli, L. (1991), Typeful programming, in "Formal Description of Programming Concepts" (E. J. Neuhold and M. Paul, Eds.), Springer-Verlag, Berlin. An earlier version appeared as DEC Systems Research Center Research Report 45, February 1989.
10. Cardelli, L., and Longo, G. (1991), A semantic basis for Quest, J. Funct. Programming 1, 417-458. Preliminary version in ACM Conference on Lisp and Functional Programming, June 1990. Also available as DEC SRC Research Report 55, Feb. 1990.
11. Cardelli, L., Martini, S., Mitchell, J. C., and Scedrov, A. (1994), An extension of system F with subtyping, Inform. and Comput. 109, 4-56. A preliminary version appeared in "TACS '91, Sendai, Japan," pp. 750-770.
12. Cardelli, L., and Wegner, P. (1985), On understanding types, data abstraction, and polymorphism, Comput. Surv. 17, 471-522.
13. Cartwright, R., and Steele Jr., G. L. (1998), Compatible genericity with run-time types for the Java programming language, in "Object-Oriented Programming: Systems, Languages, and Applications (OOPSLA), Vancouver, BC" (C. Chambers, Ed.), SIGPLAN Notices 33 (10), 201-215, Assoc. Comput. Mach, New York.
14. ω is Decidable," LFCS Technical Report ECS-LFCS-94-281, University of Edinburgh.
15. Gamma, E., Helm, R., Johnson, R., and Vlissides, J. (1994), "Design Patterns: Elements of Reusable Object-Oriented Software," Addison-Wesley, Reading, MA.
16. Girard, J.-Y. (1972), "Interprétation Fonctionelle et Élimination des Coupures de L'arithmétique D'ordre Supérieur," Ph.D. thesis, Université Paris VII. A summary appeared (1971), in "Proceedings of the Second Scandinavian Logic Symposium" (J. E. Fenstad, Ed.), pp. 63-92, North-Holland, Amesterdam.
17. Harper, R., and Lillibridge, M. (1994), A type-theoretic approach to higher-order modules with sharing, in "Proceedings of the Twenty-First ACM Symposium on Principles of Programming Languages (POPL), Portland, Oregon," pp. 123-137.
18. Hofmann, M., and Pierce, B. (1995), A unifying type-theoretic framework for objects, J. Funct. Programming 5, 593-635. Previous versions appeared (1994), in "Symposium on Theoretical Aspects of Computer Science," pp. 251-262 and (1992), "An Abstract View of Objects and Subtyping (Preliminary Report)," LFCS Technical Report ECS-LFCS-92-226, University of Edinburgh.
19. Leroy, X. (1994), Manifest types, modules and separate compilation, in "Conference record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, OR," pp. 109-122.
20. Lillibridge, M. (1997), "Translucent Sums: A Foundation for Higher-Order Module Systems," Ph.D. thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA.
21. Madsen, O. L., Magnusson, B., and Møller-Pedersen, B. (1990), Strong typing of object-oriented languages revisited, in "Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA) and European Conference on Object-Oriented Programming (ECOOP), Ottawa, ON Canada," pp. 140-150, Assoc. Comput. Mach., New York. Published as SIGPLAN Notices 25 (10).
22. Madsen, O. L., and Møller-Pedersen, B. (1989), Virtual classes: A powerful mechanism in object-oriented programming, in "Object-Oriented Programming: Systems, Languages, and Applications (OOPSLA), New Orleans, LA," pp. 397-406.
23. Madsen, O. L., Møller-Pedersen, B., and Nygaard, K. (1993), "Object-Oriented Programming in the Beta Programming Language," Addison-Wesley, Reading, MA.
24. Myers, A. C., Bank, J. A., and Liskov, B. (1997), Parameterized types for Java, in "ACM Symposium on Principles of Programming Languages (POPL), Paris, France," pp. 132-145.
25. Odersky, M., and Wadler, P. (1997), Pizza into Java: Translating theory into practice, in "ACM Symposium on Principles of Programming Languages (POPL), Paris, France," pp. 146-159.
26. Pierce, B., and Steffen, M. (1994), Higher-order subtyping, in "IFIP Working Conference on Programming Concepts, Methods and Calculi (PROCOMET)." Full version in (1997), Theoret. Comput. Sci. 176, 235-282. [Corrigendum in (1997), Theoret. Comput. Sci. 184, 247.]
27. Pierce, B. C. (1994), Bounded quantification is undecidable, Inform. and Comput. 112, 131-165. Also in Gunter, C. A., and Mitchell, J. C. (Eds.) (1994), "Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design," MIT Press, Cambridge, MA. A preliminary version appeared in "POPL '92."
28. Pierce, B. C., and Turner, D. N. (1994), Simple type-theoretic foundations for object-oriented programming, J. Funct. Programming 4, 207-247. A preliminary version appeared in Principles of Programming Languages, 1993, and "Object-Oriented Programming Without Recursive Types," Technical Report ECS-LFCS-92-225, University of Edinburgh.
29. Rémy, D., and Vouillon, J. (1998), On the (un)reality of virtual types, manuscript.
30. Shang, D. (1996), Are cows animals? in "Object Currents," Vol. 1, available at http://www.sigs.com/objectcurrents/.
31. Stroustrup, B. (1997), "The C++ Programming Language," 3rd ed., Addison-Wesley/Longman, Reading, MA.
32. Thorup, K. K. (1997), Genericity in Java with virtual types, in "Proceedings of the European Conference on Object-Oriented Programming (ECOOP), Jyväskylä, Finland," Lecture Notes in Computer Science, Vol. 1241, pp. 444-471, Springer-Verlag, Berlin.
33. Thorup, K. K., and Torgersen, M. (1999), Unifying genericity: Combining the benefits of virtual types and parameterized classes, in "Proceedings of the European Conference on Object-Oriented Programming (ECOOP), Lisbon, Portugal" (R. Guerraoui, Ed.), Lecture Notes in Computer Science, Vol. 1628, pp. 186-204, Springer-Verlag, Berlin.
34. Torgersen, M. (1998), Virtual types are statically safe, in "Proceedings of the 5th Workshop on Foundations of Object-Oriented Languages (FOOL), San Diego, CA."