Type-Directed Specialization of Polymorphism (1999)

by A Ohori
Venue:Information and Computation