Eric E. Allen, Jonathan Bannet, Robert Cartwright: A first-class approach to genericity. OOPSLA 2003: 96-114