Valery Trifonov, Bratin Saha, Zhong Shao. Fully reflexive intensional type analysis. In ICFP. pages 82-93, 2000. [doi]
@inproceedings{TrifonovSS00, title = {Fully reflexive intensional type analysis}, author = {Valery Trifonov and Bratin Saha and Zhong Shao}, year = {2000}, doi = {10.1145/351240.351248}, url = {http://doi.acm.org/10.1145/351240.351248}, tags = {analysis}, researchr = {https://researchr.org/publication/TrifonovSS00}, cites = {0}, citedby = {0}, pages = {82-93}, booktitle = {ICFP}, }