@techreport{saha00:itatr,
author="Bratin Saha and Valery Trifonov and Zhong Shao",
title="Fully Reflexive Intensional Type Analysis",
institution="Dept. of Computer Science, Yale University",
address="New Haven, CT", number="YALEU/DCS/TR-1194",
month="March",year="2000"
}