Polymorphic unification and ML typing. Brown University (1989)

by P C Kanellakis, J C Mitchell
Venue:Also in Proc. 16th ACM Symposium on the Principles of Programming Languages