FUNCTIONAL PEARLS - Polytypic Unification (1998)

by Patrik Jansson , Johan Jeuring
Venue:Journal of Functional Programming
Citations:13 - 3 self