A new approach to generic functional programming (Proceedings of the 27th ACM SIGPLAN−SIGACT symposium on Principles of programming languages (POPL '00), 2000)

(untitled) - Hinze, R