Unification and ML Type Reconstruction (1991)

by Paris C. Kanellakis, Harry G. Mairson, John C. Mitchell