Type-directed specialization of polymorphism (1999)

by A Ohori
Venue:in Proc. International Conference on Theoretical Aspects of Computer Software, Springer LNCS 1281