Lunjin Lu. Improving precision of type analysis using non-discriminative union. TPLP, 8(1):33-79, 2008. [doi]
@article{Lu08:6, title = {Improving precision of type analysis using non-discriminative union}, author = {Lunjin Lu}, year = {2008}, doi = {10.1017/S1471068407003055}, url = {http://dx.org.org/10.1017/S1471068407003055}, tags = {analysis}, researchr = {https://researchr.org/publication/Lu08%3A6}, cites = {0}, citedby = {0}, journal = {TPLP}, volume = {8}, number = {1}, pages = {33-79}, }