S.: Information flow inference for free (2000)

by F Pottier, Conchon
Venue:In: Proc. 5th ACM SIGPLAN International Conference on Functional Programming