Information flow inference for ML

François Pottier, Vincent Simonet
2002 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '02  
doi:10.1145/503272.503302 dblp:conf/popl/PottierS02 fatcat:3bnsyszth5ennimgto6sqd432u