"Revisiting Catamorphisms over Datatypes with Embedded Functions (or, ..."

Leonidas Fegaras, Tim Sheard (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics