The Complexity of Type Inference for Higher-Order Typed Lambda Calculi (1991)

by Fritz Henglein, Harry G. Mairson
Venue:J. Funct. Programming