Type Inference and Type Checking for Functional Programming Languages---A Reduced Computation Approach (0)

by Takuya Katayama
Venue:1984 ACM Conf. on Lisp and Funct. Prog