Information flow inference for free (2000)

by F Pottier, S Conchon
Venue:In Proceedings of the Fifth ACM SIGPLAN international conference on Functional programming (ICFP 99