Information inference for ML (2002)

by Francois Pottier, Vincent Simonet
Venue:In Proceedings of the 29th ACM Symposium on Principles of Programming Languages (POPL'02