Erik Ernst Reconciling Virtual Classes with Genericity. 57-72 2006 conf/jmlc/2006 JMLC http://dx.doi.org/10.1007/11860990_5 db/conf/jmlc/jmlc2006.html#Ernst06