A General Scheme for the Automatic Inference of Variable Types.

Marc A. Kaplan, Jeffrey D. Ullman

Browse the full POPL paper archive.