%0 Conference Proceedings
%F waok89
%A Wand, M.
%A O'Keefe, P.
%T On the Complexity of Type Inference with Coercion
%B Proc. ACM Conf. on Functional Programming and Computer Architecture
%D 1989
%K parametricity