Type Classes With More Higher-Order Polymorphism (2002)

by Matthias Neubauer, Peter Thiemann
Venue:In ACM SIGPLAN International Conference on Functional Programming