Functional pearl: Polytypic uni (1998)

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