The Complexity of Type Inference for Higher-Order Typed Lambda Calculi.

Fritz Henglein, Harry G. Mairson

Browse the full POPL paper archive.