Information flow inference for ML.

Franois Pottier, Vincent Simonet

Browse the full POPL paper archive.