Unification and ML type reconstruction (1991)

by P Kanellakis, H Mairson, J C Mitchell
Venue:Computational Logic: Essays in Honor of Alan