Information flow inference for ML (2002)

by F Pottier, V Simonet
Venue:In Proc. of ACM Symposium on Principles of Programming Languages