A new approach to generic functional programming (1999)

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