Boehm, H.-J. "Type inference in the presence of type abstraction" pp192-206

[IIT 1987] (1989) SIGPLAN Notices 24(07) July 1989 includes Proceedings of the SIGPLAN '87 symposium on Interpreters and interpretive techniques  

Languages mentioned RUSSELL {1970}