@inproceedings{trifonov00:icfp,
author="Valery Trifonov and Bratin Saha and Zhong Shao",
title="Fully Reflexive Intensional Type Analysis",
booktitle="Proc. 2000 ACM SIGPLAN International Conference on
Functional Programming (ICFP'00)",
pages="(to appear)",month="September",year="2000",
publisher="ACM Press"
}