François Pottier Sylvain Conchon Information flow inference for free. 46-57 2000 ICFP http://doi.acm.org/10.1145/351240.351245 db/conf/icfp/icfp2000.html#PottierC00