Transposing F to C#: Expressivity of parametric polymorphism in an object-oriented language

Concurrency and Computation: Practice and Experience

Volumn 16, Issue 7, 2004, Pages 707-733

  Kennedy, Andrew ^a   Syme, Don ^a  

^a MICROSOFT RESEARCH   (United Kingdom)

Author keywords

C System F; Closure conversion; Java; Polymorphism

Indexed keywords

C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); OBJECT ORIENTED PROGRAMMING; PROGRAM TRANSLATORS; SEMANTICS; THEOREM PROVING;

CLOSURE CONVERSION; DECLARATIVE PROGRAMMING LANGUAGE; POLYMORPHISM; SYSTEM F;

JAVA PROGRAMMING LANGUAGE;

EID: 2542466854     PISSN: 15320626     EISSN: None     Source Type: Journal    
DOI: 10.1002/cpe.801     Document Type: Conference Paper

References (19)

1. Jones MP. First-class polymorphism with type inference. Proceedings of the 24th ACM Symposium on Principles of Programming Languages, Paris, France, 1997. ACM Press: New York, 1997; 483-496.
2. Odersky M, Läufer K. Putting type annotations to work. Proceedings of the 23rd ACM Symposium on Principles of Programming Languages, St. Petersburg Beach, FL, 1996. ACM Press: New York, 1996; 54-67.
3. Russo CV. First-class structures for Standard ML. Nordic Journal of Computing 2000; 7(4):348-374.
4. Pierce BC. Types and Programming Languages. MIT Press: Cambridge, MA, 2002.
5. Odersky M, Wadler P, Bracha G, Stoutamire D. Pizza into Java: Translating theory into practice. Proceedings of the 24th ACM Symposium on Principles of Programming Languages, Paris, France, 1997. ACM Press: New York, 1997; 146-159.
6. Bracha G, Odersky M, Stoutamire D, Wadler P. Making the future safe for the past: Adding genericity to the Java programming language. Proceedings of the 13th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, Applications (OOPSLA), Vancouver, October 1998. ACM Press: New York, 1998; 183-200.
7. Cartwright R, Steele GL. Compatible genericity with run-time types for the Java programming language. Proceedings of the 13th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, Applications (OOPSLA), Vancouver, October 1998. ACM Press: New York, 1998; 201-215.
8. Bracha G, Cohen N, Kemper C, Marx S, Odersky M, Panitz S, Stoutamire D, Thorup K, Wadler P. JSR-000014: Adding Generics to the Java™ Programming Language. http://jcp.org/aboutJava/communityprocess/review/jsr014/ [April 2001].
9. Kennedy AJ, Syme D. Design and implementation of generics for the .NET Common Language Runtime. ACM SIGPLAN Notices 2001; 36(5): 1-12.
10. Hejlsberg A. The C# programming language. Invited Talk at the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), Seattle, WA, 2002.
11. Pitts AM. Parametric polymorphism and operational equivalence. Mathematical Structures in Computer Science 2000; 10:321-359. (A preliminary version appeared in Proceedings of the Second Workshop on Higher Order Operational Techniques in Semantics (HOOTS II), Stanford CA, December 1997 (Electronic Notes in Theoretical Computer Science, vol. 10), 1998.)
12. Pitts AM. Parametric polymorphism and operational equivalence. Mathematical Structures in Computer Science 2000; 10:321-359. (A preliminary version appeared in Proceedings of the Second Workshop on Higher Order Operational Techniques in Semantics (HOOTS II), Stanford CA, December 1997 (Electronic Notes in Theoretical Computer Science, vol. 10), 1998.)
13. Milner R, Tofte M, Harper R, MacQueen D. The Definition of Standard ML (Revised). MIT Press: Cambridge, MA, 1997.
14. Igarashi A, Pierce BC, Wadler P. Featherweight Java: A minimal core calculus for Java and GJ. ACM SIGPLAN Notices 1999; 34(10):132-146.
15. Bierman GM, Parkinson MJ, Pitts AM. An imperative core calculus for Java and Java with effects. Technical Report 563, University of Cambridge Computer Laboratory, April 2003.
16. Minamide Y, Morrisett G, Harper R. Typed closure conversion. Proceedings of the 23rd ACM Symposium on Principles of Programming Languages, St. Petersburg, EL, January 1996. ACM Press: New York, 1996; 271-283.
17. Stroustrup B. The C++ Programming Language (3rd edn). Addison-Wesley: Boston, MA, 1997.
18. Glew N. Object closure conversion. Proceedings of the 3rd International Workshop on Higher Order Operational Techniques in Semantics (HOOTS), September 1999 (Electronic Notes in Theoretical Computer Science, vol. 26). Elsevier: Amsterdam, 1999.
19. Igarashi A, Pierce BC. On inner classes. Information and Computation 2002; 177(1):56-89.