Mirko Viroli Antonio Natali Parametric polymorphism in Java: an approach to translation based on reflective features. 146-165 2000 OOPSLA http://doi.acm.org/10.1145/353171.353182 db/conf/oopsla/oopsla2000.html#ViroliN00