Formalization of generics for the .NET common language runtime

ACM SIGPLAN Notices

Volumn 39, Issue 1, 2004, Pages 39-51

  Yu, Dachuan ^a   Kennedy, Andrew ^b   Syme, Don ^b  

^a YALE UNIVERSITY   (United States)

^b MICROSOFT RESEARCH   (United Kingdom)

Author keywords

.NET; CLR; Generics; Polymorphism; Run time types

Indexed keywords

CODES (SYMBOLS); COMPUTER SIMULATION; PROGRAM COMPILERS; PROGRAMMING THEORY; SEMANTICS;

COMMON LANGUAGE RUNTIME; POLYMORPHIC LANGUAGES;

C (PROGRAMMING LANGUAGE);

EID: 1442263976     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/982962.964005     Document Type: Conference Paper

References (29)

1. O. Agesen, S.N. Freund, and J.C. Mitchell. Adding parameterized types to Java. In Object-Oriented Programming: Systems, Languages and Applications (OOPSLA), October 1997.
2. P. N. Benton, A. J. Kennedy, and G. Russell. Compiling Standard ML to Java bytecodes. In 3rd ACM SIGPLAN International Conference on Functional Programming, September 1998.
3. G. Bracha, M. Odersky, D. Stoutamire, and P. Wadler. Making the future safe for the past: Adding genericity to the Java programming language. In Object-Oriented Programming: Systems, Languages, Applications (OOPSLA), October 1998.
4. R. Cartwright and G. L. Steele. Compatible genericity with run-time types for the Java programming language. In Object-Oriented Programming: Systems, Languages, Applications (OOPSLA), October 1998.
5. K. Crary, S. Weirich, and G. Morrisett. Intensional polymorphism in type-erasure semantics. In International Conference on Functional Programming, pages 301-312. ACM Press, Sept. 1998.
6. Ecma International. ECMA and ISO C# and Common Language Infrastructure standards. See http://msdn.microsoft.com/net/ecma/.
7. A. Gordon and D. Syme. Typing a multi-language intermediate code. In 27th Annual ACM Symposium on Principles of Programming Languages, January 2001.
8. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification (Second Edition). Addison-Wesley, 2000.
9. R. Harper and G. Morrisett. Compiling polymorphism using intensional type analysis. In Proceedings of the Symposium on Principles of Programming Languages, pages 130-141, San Francisco, California, Jan. 1995. ACM Press.
10. # programming language. Invited talk at Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2002.
11. A. Hejlsberg and S. Wiltamuth. C# 2.0 language reference. See http://msdn.microsoft.com/vcsharp/.
12. A. Igarashi, B.C. Pierce, and P. Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 1999.
13. A. Jeffrey. Generic Java type inference is unsound. The Types Forum, December 2001.
14. A. J. Kennedy and D. Syme. Design and implementation of generics for the .NET Common Language Runtime. In Programming Language Design and Implementation. ACM, 2001.
15. A. J. Kennedy and D. Syme. Transposing F to C#: Expressivity of parametric polymorphism in an object-oriented language. In Concurrency and Computation: Practice and Experience, to appear.
16. X. Leroy. Unboxed objects and polymorphic typing. In 19th symposium Principles of Programming Languages, pages 177-188. ACM Press, 1992.
17. T. Lindholm and F. Yellin. The Java Virtual Machine Specification (Second Edition). Addison-Wesley, 1999.
18. Microsoft Corporation. The .NET Common Language Runtime. See http://msdn.microsoft.com/net/.
19. G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to typed assembly language. In 25th ACM Symposium on Principles of Programming Languages, pages 85-97. ACM Press, Jan. 1998.
20. A. C. Myers, J. A. Bank, and B. Liskov. Parameterized types for java. In 24th ACM Symposium on Principles of Programming Languages, pages 132-145, January 1997.
21. M. Odersky, E. Runne, and P. Wadler. Two ways to bake your Pizza - translating parameterised types into Java. Technical Report CIS-97-016, University of South Australia, 1997.
22. M. Odersky and P. Wadler. Pizza into Java: Translating theory into practice. In Proc. 24th ACM Symposium on Principles of Programming Languages, January 1997.
23. K. Palacz and J. Vitek. Subtype tests in real time. In European Conference on Object Oriented Programming, 2003.
24. B. Saha and Z. Shao. Optimal type lifting. In Types in Compilation Workshop, pages 156-177, Kyoto, Japan, March 1998.
25. Z. Shao. Flexible representation analysis. In Proc. 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP'97), pages 85-98, Amsterdam, The Netherlands, June 1997.
26. Z. Shao. An overview of the FLINT/ML compiler. In Proc. 1997 ACM SIGPLAN Workshop on Types in Compilation, June 1997.
27. M. Viroli and A. Natali. Parametric polymorphism in Java: an approach to translation based on reflective features. In Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM, October 2000.
28. D. Yu, A. Kennedy, and D. Syme. Formalization of generics for the .NET Common Language Runtime. Technical report, Microsoft Research, 2003. To appear.
29. D. Yu, V. Trifonov, and Z. Shao. Type-preserving compilation of Featherweight IL. In Proc. 2002 Workshop on Formal Techniques for Java-like Programs (FTfJP'02), June 2002.