Tobias Gedell, Jörgen Gustavsson, Josef Svenningsson. Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis. In Naoki Kobayashi, editor, Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings. Volume 4279 of Lecture Notes in Computer Science, pages 200-216, Springer, 2006. [doi]
Abstract is missing.