M.D.: Dynamic inference of abstract types (2006)

by P J Guo, J H Perkins, S McCamant, Ernst
Venue:In: Proc. of ISSTA’2006, ACM