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

by Frank Pfenning
Venue:IN PROCEEDINGS OF THE 1988 ACM CONFERENCE ON LISP AND FUNCTIONAL PROGRAMMING, ACM
Citations:80 - 8 self