Functional pearl: Polytypic unification (1998)

by P Jansson, J Jeuring
Venue:Journal of Functional Programming