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

Fritz Henglein, Harry G. Mairson. The Complexity of Type Inference for Higher-Order Typed Lambda Calculi. In POPL. pages 119-130, 1991.

Abstract

Abstract is missing.