Eric E. Allen Jonathan Bannet Robert Cartwright A first-class approach to genericity. 96-114 2003 conf/oopsla/2003p OOPSLA http://doi.acm.org/10.1145/949305.949316 db/conf/oopsla/oopsla2003p.html#AllenBC03