Information flow inference for ML. (2003)

by Francois Pottier, Vincent Simonet
Venue:ACM Transactions on Programming Languages and Systems