Compiling generics through user-directed type specialization

Proceedings of the 4th Workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems, ICOOOLPS 2009

Volumn , Issue , 2009, Pages 42-47

  Dragos, Iulian ^a   Odersky, Martin ^a  

^a EPFL   (Switzerland)

Author keywords

Boxing; Specialization

Indexed keywords

CODE SIZE; COMPACT CODE; GENERIC CODES; MIXED APPROACH; PRIMITIVE TYPES; SEPARATE COMPILATION; TYPE ERASURE; TYPE-SPECIALIZATION;

LINGUISTICS;

OBJECT ORIENTED PROGRAMMING;

EID: 70450228568     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1565824.1565830     Document Type: Conference Paper

References (9)

1. th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (New York, NY, USA, 1997), ACM, pp. 132-145.
2. Bjarne, S. The C++ Programming Language. Addison-Wesley, 1987.
3. th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (New York, NY, USA, 1998), ACM, pp. 183-200.
4. Cartwright, R., and Steele, Jr., G. L. Compatible genericity with run-time types for the Java programming language. SIGPLAN Not. 33, 10 (1998), 201-215.
5. Click, C., and Rose, J. Fast subtype checking in the HotSpot JVM. In JGI '02: Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande (New York, NY, USA, 2002), ACM, pp. 96-107.
6. nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (San Francisco, California, 1995), pp. 130-141.
7. Kennedy, A., and Syme, D. Design and implementation of generics for the .NET Common language runtime. In PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation (New York, NY, USA, 2001), ACM, pp. 1-12.
8. nd Edition). Prentice Hall PTR, April 1999.
9. Oderksy, M., Spoon, L., and Venners, B. Programming in Scala. artima, 2008.