A new approach to generic functional programming (2000)

by R Hinze
Venue:In The 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages