Functional pearl: Polytypic unification (1998)

by Patrik Jansson, Johan Jeuring
Venue:Journal of Functional Programming