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. Journal of Functional Programming, 4(4):435-477, 1994.

Abstract

Abstract is missing.