Generic Polymorphism.

Catherine Dubois, Franois Rouaix, Pierre Weis

Browse the full POPL paper archive.