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

by Frank Pfenning
Venue:In Proceedings of the ACM Conference on Lisp and Functional Programming