Fully re type analysis (2000)

by Valery Trifonov, Bratin Saha, Zhong Shao
Venue:In Proceedings ICFP 2000: International Conference on Functional Programming