A new approach to generic functional programming (2000)

by Ralf Hinze
Venue:In Conference Record of POPL’00: The 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages