Uni cation and ML type reconstruction (1990)

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