Extensional polymorphism (1995)

by C Dubois, F Rouaix, P Weis
Venue:In Conference record of POPL'95