Improving precision of type analysis using non-discriminative union.

Lunjin Lu Improving precision of type analysis using non-discriminative union. 33-79 2008 8 TPLP 1 http://dx.org.org/10.1017/S1471068407003055 db/journals/tplp/tplp8.html#Lu08