V.: Information flow inference for ML (2002)

by F Pottier, Simonet
Venue:In: 29th Principles of Programming Languages