Fully Reflexive Intensional Type Analysis (2000)

by Valery Trifonov , Bratin Saha , Zhong Shao
Venue:In Fifth ACM SIGPLAN International Conference on Functional Programming
Citations:44 - 7 self