Using subtyping in program optimization (1995)

by S Berardi, L Boerio
Venue:In Proceedings of TLCA'95, LNCS 902. Spinger-Verlag