Type inference and semi-uni (1988)

by F Henglein
Venue:Proc. ACM Symp. on Lisp and Functional Programming