Tobias Gedell Jörgen Gustavsson Josef Svenningsson Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis. 200-216 2006 conf/aplas/2006 APLAS http://dx.doi.org/10.1007/11924661_13 db/conf/aplas/aplas2006.html#GedellGS06