A new approach to generic functional programming (2000)

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