On the Complexity of Type Inference with Coercion (1989)

by M Wand, P O’Keefe
Venue:Proc. ACM Conf. on Functional Programming Languages and Computer Architecture