Partial polymorphic type inference and higher-order unification (1988)

by F PFENNING
Venue:In Proceedings 1988 ACM Conference on Lisp and Functional