Variant parametric types: A flexible subtyping scheme for generics

ACM Transactions on Programming Languages and Systems

Volumn 28, Issue 5, 2006, Pages 795-847

  Igarashi, Atsushi ^a   Viroli, Mirko ^b,c  

^a KYOTO UNIVERSITY   (Japan)

^b UNIVERSITY OF BOLOGNA   (Italy)

^c UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Generic classes; Java; Language design; Language semantics; Subtyping; Variance

Indexed keywords

GENERIC CLASSES; LANGUAGE DESIGN; LANGUAGE SEMANTICS; SUBTYPING; VARIANCE;

COMPUTER AIDED DESIGN; COMPUTER PROGRAMMING LANGUAGES; CONTROL SYSTEMS; PARAMETER ESTIMATION; SEMANTICS;

OBJECT ORIENTED PROGRAMMING;

EID: 33748563968     PISSN: 01640925     EISSN: 01640925     Source Type: Journal    
DOI: 10.1145/1152649.1152650     Document Type: Article

References (58)

1. ABADI, M., CARDELLI, L., AND VISWANATHAN, R. 1996. An interpretation of objects and object types. In Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) (St. Petersburg Beach FL), 396-409.
2. AGESEN, O., FREUND, S. N., AND MITCHELL, J. C. 1997. Adding type parameterization to the Java language. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (Atlanta, GA). 49-65.
3. AMERICA, P. AND VAN DER LINDEN, F. 1990. A parallel object-oriented language with inheritance and subtyping. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications/European Conference on Object-Oriented Programming (OOPSLA/ECOOP) (Ottawa, Canada). 161-168.
4. BARTHE, G. AND FRADE, M. J. 1999. Constructor subtyping. In Proceedings of the 8th European Symposium on Programming (ESOP) Amsterdam, The Netherlands. Lecture Notes in Computer Science, vol. 1576, Springer Verlag, Berlin, Germany. 109-127.
5. BARTHE, G. AND VAN RAAMSDONK, F. 2000. Constructor subtyping in the calculus of inductive constructions. In Proceedings of the 3rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) (Berlin, Germany). Lecture Notes in Computer Science, vol. 1784, Springer Verlag, 17-34.
6. BRACHA, G. 1996. The Strongtalk type system for Smalltalk. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA) Workshop on Extending the Smalltalk Language (San Jose, CA). Also available electronically through http ://bracha.org/nwst.html.
7. BRACHA, G. AND GRISWOLD, D. 1993. Strongtalk: Typechecking Smalltalk in a production environment. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (Washington, DC). 215-230.
8. BRACHA, G., ODERSKY, M., STOUTAMIRE, D., AND WADLEH, P. 1998. Making the future safe for the past: Adding genericity to the Java programming language. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (Vancouver, BC). 183-200.
9. BEUCE, K. B. 1994. A paradigmatic object-oriented programming language: Design, static typing, and semantics. J. Funct. Program. 4, 2 (Apr.), 127-206. Preliminary version in POPL 1993, under the title "Safe type checking in a statically typed object-oriented programming language."
10. BRUCE, K. B., CARDELLI, L., AND PIERCE, B. C. 1999. Comparing object encodings. Inf. Comput. 155, 108-133.
11. BRUCE, K. B., ODERSKY, M., AND WADLER, P. 1998. A statically safe alternative to virtual types. In Proceedings of the 12th European Conference on Object-Oriented Programming (ECOOP), Brussels, Belgium. Lecture Notes in Computer Science, vol. 1445. Springer Verlag, 523-549.
12. BRUCE, K. B., PETERSEN, L., AND FIECH, A. 1997. Subtyping is not a good "match" for object-oriented languages. In Proceedings of the 11th European Conference on Object-Oriented Programming (ECOOP) (Jyväskylä, Finland). Lecture Notes in Computer Science, vol. 1241. Springer Verlag, Berlin, Germany, 104-127.
13. BRUCE, K. B., SCHUETT, A., AND VAN GENT, R. 1995. PolyTOIL: A type-safe polymorphic object-oriented language. In Proceedings of the 9th European Conference on Object-Oriented Programming (ECOOP) (Aarhus, Denmark), W. Olthoff, Ed. Lecture Notes in Computer Science, vol. 952. Springer Verlag, Berlin, Germany 27-51.
14. 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 15th Conference on the Mathematical Foundations of Programming Semantics (MFPSXV). (New Orleans, LA). Electronic Notes in Theoretical Computer Science, vol. 20. Elsevier. Available through http://www.elseviar.nl/ locate/entcs/volume20.html.
15. CANNING, P., COOK, W., HILL, W., OLTHOFF, W., AND MITCHELL, J. 1989. F-Bounded quantification for object-oriented programming. In Proceedings of the ACM Conference on Functional Programming and Computer Architecture (FPCA) (London, UK). 273-280.
16. ω. Unpublished manuscript.
17. CARDELLI, L., MARTINI, S., MITCHELL, J. C., AND SCEDROV, A. 1994. An extension of system F with subtyping. Inf. Comput. 109, 1-2, 4-56.
18. LNCS vol. 526. 750-770.
19. CARDELLI, L. AND WEGNER, P. 1985. On understanding types, data abstraction, and polymorphism. ACM Comput. Surv. 17, 4 (Dec.), 471-522.
20. CARTWRIGHT, R. AND STEELE JR., G. L. 1998. Compatible genericity with runtime types for the Java programming language. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (Vancouver, BC). 201-215.
21. COMPAGNONI, A. B. AND PIERCE, B. C. 1996. Higher-Order intersection types and multiple inheritance. Math. Struct. Comput. Sci. 6, 469-501.
22. COOK, W. 1989. A proposal for making Eiffel type-safe. In Proceedings of the 3rd European Conference on Object-Oriented Programming (ECOOP) (Nottingham, UK). 57-70.
23. DAY, M., GRUBER, R., LISKOV, B., AND MYERS, A. C. 1995. Subtypes vs. where clauses: Constraining parametric polymorphism. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (Austin, TX). 156-168.
24. DUGGAN, D. AND COMPAGNONI, A. 1999. Subtyping for object type constructors. In Informal Proceedings of the 6th International Workshop on Foundations of Object-Oriented Languages (FOOL6) (San Antonio, TX). Available through http://www.research.att.com/~kfisher/FOOL/ FOOL6.html.
25. GHELLI, G. AND PIERCE, B. 1998. Bounded existentials and minimal typing. Theor. Comput. Sci. 193, 75-96.
26. HARPER, R. AND LILLIBHIDGE, M. 1994. A type-theoretic approach to higher-order modules with sharing. In Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) (Portland, OR). 123-137.
27. IGARASHI, A. AND PIERCE, B. C. 2002. Foundations for virtual types. Inf. Comput. 175, 1 (May), 34-49.
28. An earlier version appeared in Proceedings of the European Conference on Object-Oriented Programming (ECOOP). LNCS 1628, 161-185.
29. IGARASHI, A., PIERCE, B.C., AND WADLER, P. 2001a. Featherweight Java: A minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst. 23, 3 (May), 396-450.
30. A preliminary summary appeared in Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'99) (Denver, CO). ACM SIGPLAN Notices 34, 10, 132-146.
31. IGARASHI, A., PIERCE, B. C., AND WADLER, P. 2001b. Arecipe for raw types. In Informal Proceedings of the 8th International Workshop on Foundations of Object-Oriented Languages (FOOLS) (London, UK). Available through http://www. research.att.com/kfisher/FOOL/FOOL8.html.
32. IGARASHI, A. AND VIROLI, M. 2002. On variance-based subtyping for parametric types. In Proceedings of the 16th European Conference on Object-Oriented Programming (ECOOP) (Málaga, Spain), B. Magnusson, Ed. Lecture Notes in Computer Science, vol. 2374. Springer Verlag, Berlin, Germany 441-469.
33. INTERACTIVE SOFTWARE ENGINEERING. 2001. An Eiffel tutorial. Available through http://www.eiffel.com/doc/online/eiffe150/intro/language/tutorial-00. ht%ml.
34. LEROY, X. 1994. Manifest types, modules, and separate compilation. In Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) (Portland, OR). 109-122.
35. LISKOV, B. 1988. Data abstraction and hierarchy. ACM SIGPLAN Notices 23, 5 (May), 17-34.
36. MADSEN, O. L. AND MøLLER-PEDERSEN, B. 1989. Virtual classes: A powerful mechanism in object-oriented programming. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (New Orleans, LA). 397-406.
37. MEYER, B. 1986. Genericity versus inheritance. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (Portland, OR). 391-405.
38. MEYER, B. 1992. Eiffel: The Language. Prentice Hall, Upper Saddle River, NJ.
39. MITCHELL, J. C. AND PLOTKIN, G. D. 1988. Abstract types have existential types. ACM Trans. Program. Lang. Syst. 10, 3, 470-502.
40. MYERS, A. C., BANK, J. A., AND LISKOV, B. 1997. Parameterized types for Java. In Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) (Paris, France). 132-145.
41. NORDSTRÖM, B., PETERSSON, K., AND SMITH, J. M. 1990. Programming in Martin-Löf's Type Theory. Oxford University Press, Oxford, UK. Out of print. An electronic version is available at http://www.cs.chalmers.se/Cs/Research/Logic/book.
42. ODERSKY, M., ALTHERR, P., CREMET, V., EMIR, B., MANETH, S., MICHELOUD, S., MIHAYLOV, N., SCHINZ, M., STENMAN, E., AND ZENGER, M. 2004. An overview of the Scala programming language. Tech. Rep. IC/2004/64, École Polytechnique Fédérale de Lausanne, Switzerland.
43. ODEHSKY, M. AND WADLER, P. 1997. Pizza into Java: Translating theory into practice. In Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) (Paris, France). 146-159.
44. PALACZ, K. AND VITEK, J. 2003. Subtype tests in real time. In Proceedings of the 17th European Conference on Object-Oriented Programming (ECOOP) (Darmstadt, Germany), L. Cardelli, Ed. Lecture Notes in Computer Science, vol. 2743. Springer Verlag, Berlin, Germany, 378-404.
45. PIERCE, B. C. 1994. Bounded quantification is undecidable. Inf. Comput. 112, 1 (July), 131-165.
46. Also in Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design. Carl A. Gunter and John C. Mitchell, Eds. MIT Press, Cambridge, MA.
47. PIERCE, B. C. AND TURNER, D. N. 1994. Simple type-theoretic foundations for object-oriented programming. J. Funct. Program. 4, 2 (Apr.), 207-247.
48. RAYNAUND, O. AND THIERRY, E. 2001. A quasioptimal bit-vector encoding of tree hierarchies: Application to efficient type inclusion tests. In Proceedings of the 15th European Conference on Object-Oriented Programming (ECOOP) (Budapest, Hungary). Lecture Notes in Computer Science, vol. 2072. Springer Verlag, Berlin, Germany, 165-180.
49. STEFFEN, M. 1998. Polarized higher-order subtyping. Ph.D. thesis, Universität ErlangenNürnberg.
50. SUN MICROSYSTEMS. 1998. Adding generic types to the Java programming language. Java Specification Request JSR-000014, http://jcp.org/Jsr/detail/014. Jsp.
51. SYME, D. AND KENNEDY, A. 2001. Design and implementation of generics for the.NET common language runtime. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (Snowbird, UT). Related information is available through http://research.microsoft.com/projects/clrgen/.
52. THORUP, K. K. 1997. Genericity in Java with virtual types. In Proceedings of the 11th European Conference on Object-Oriented Programming (ECOOP) (Jyväskylä, Finland). Lecture Notes in Computer Science, vol. 1241. Springer Verlag, Berlin, Germany, 444-471.
53. THORUP, K. K. AND TORGERSEN, M. 1999. Unifying genericity: Combining the benefits of virtual types and parameterized classes. In Proceedings of the 13th European Conference on Object-Oriented Programming (ECOOP) (Lisbon, Portugal). Lecture Notes in Computer Science, vol. 1628. Springer Verlag, 186-204.
54. TORGERSEN, M. 1998. Virtual types are statically safe. In Informal Proceedings of the 5th International Workshop on Foundations of Object-Oriented Languages (FOOLS) (San Diego, CA). Available through http://www.research.att.com/~kfisher/FOOL/FOOL5.html.
55. TORGEHSEN, M., HANSEN, C. P., ERNST, E., VON DER AHÉ, P., BRACHA, G., AND GAFTER, N. 2004. Adding wildcards to the Java programming language. In Proceedings of the ACM Symposium on Applied Computing (SAC) (Nicosia, Cyprus), 1289-1296.
56. VIROLI, M. 2003. A type-passing approach for the implementation of parametric methods in Java. Comput. J. 46, 3, 263-294.
57. VIROLI, M. AND NATALI, A. 2000. Parametric polymorphism in Java: An approach to translation based on reflective features. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLAJ (Minneapolis, MN). 146-165.
58. WRIGHT, A. K. AND FELLEISEN, M. 1994. A syntactic approach to type soundness. Inf. Comput. 115, 1 (Nov.), 38-94.