Information flow inference for ml (2002)

by F Pottier, V Simonet
Venue:In POPL