Type inference in the presence of type abstraction (1989)

by Hans-J Boehm
Venue:In Proceedings of the SIGPLAN ’89 Conference on Programming Language Design and Implementation