Revisiting catamorphism over datatypes with embedded functions (1996)

by L Fegaras, T Sheard
Venue:In 23rd Annual ACM Symp. on Principles of Programming Languages