A New Approach to Generic Functional Programming (2000)

by R Hinze
Venue:Conference record of POPL ’00: the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages