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

by F Pfenning
Venue:Proceeding 1988 ACM Conference on Lisp and Functional Programming