A new approach to generic functional programming (2000)

by R Hinze
Venue:In POPL ’00: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages