A direct algorithm for type inference in the rank-2 fragment of the second-order λ-calculus (1993)

by A. J. Kfoury , J. B. Wells
Citations:80 - 14 self