Giuseppe Castagna Integration of Parametric and "ad hoc" Second Order Polymorphism in a Calculus with Subtyping. 247-293 1996 8 Formal Asp. Comput. 3 db/journals/fac/fac8.html#Castagna96