Type inference and semi-uni (1988)

by F Henglein
Venue:In Proceedings of the 1988 ACM Conference on Lisp and Functional Programming