Valery Trifonov, Bratin Saha, Zhong Shao
Fully reflexive intensional type analysis
ICFP, 2000.
@inproceedings{ICFP-2000-TrifonovSS,
author = "Valery Trifonov and Bratin Saha and Zhong Shao",
booktitle = "{Proceedings of the Fifth International Conference on Functional Programming}",
doi = "10.1145/351240.351248",
editor = "Martin Odersky and Philip Wadler",
isbn = "1-58113-202-6",
pages = "82--93",
publisher = "{ACM}",
title = "{Fully reflexive intensional type analysis}",
year = 2000,
}