Bratin Saha Valery Trifonov Zhong Shao Intensional analysis of quantified types. 159-209 2003 25 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/641888.641889 db/journals/toplas/toplas25.html#SahaTS03