Unification and ML type reconstruction (1991)

by P KANELLAKIS, H MAIRSON, J MITCHELL
Venue:In Computational Logic-Essays LnHonor of Alan