The complexity of type inference for higher-order typed lambda calculi (1994)

by Fritz Henglein, Harry Mairson
Venue:Journal of Functional Programming (JFP