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