On the complexity of type inference with coercion (1989)

by Mitchell Wand, Patrick O’Keefe
Venue:In Conference on Functional Programming Languages and Computer Architecture