Valery Trifonov Bratin Saha Zhong Shao Fully reflexive intensional type analysis. 82-93 2000 conf/icfp/2000 ICFP http://doi.acm.org/10.1145/351240.351248 db/conf/icfp/icfp2000.html#TrifonovSS00