Revisiting Parametric Types and Virtual Classes. - Anders Bach Madsen; Erik Ernst (TOOLS (48), 2010)