%0 Journal Article 
%F hema94
%A Henglein, Fritz
%A Mairson, Harry
%T The Complexity of Type Inference for Higher-Order Typed Lambda Calculi
%J Journal of Functional Programming (JFP)
%V 4
%N 4
%P 435-477
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/henglein1994.pdf
%8 October
%D 1994
%K parametricity