Information flow inference for ML (2002)

by Francois Pottier, Vincent Simonet
Venue:In Proc. ACM Symp. on Principles of Programming Languages