Fully Reflexive Intensional Type Analysis (2000)

by Valery Trifonov, Bratin Saha, Zhong Shao
Venue:In Fifth ACM SIGPLAN International Conference on Functional Programming