Information inference for ML (2003)

by F Pottier, V Simonet
Venue:ACM TOPLAS