Type inference and semi-uni cation (1988)

by F Henglein
Venue:In Proc. 1988 ACM Conf. LISP Funct. Program., Snowbird