Functional pearl: Polytypic uni cation (1998)

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