Information flow inference for free (2000)

by F Pottier, S Conchon
Venue:In ICFP ’00