Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space) (1996)

by Leonidas Fegaras, Tim Sheard
Venue:In Conf. Record 23rd ACM SIGPLAN/SIGACT Symp. on Principles of Programming Languages, POPL’96, St. Petersburg Beach