Information flow inference for free (2000)

by F Pottier, S Conchon
Venue:In ICFP ’00, 5th ACM Conference on Functional Programming