Stem catamorph$ (all stems)

2 papers:

PEPM-2010-HofmannK #detection #morphism #problem #towards

I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP (MH, EK), pp. 93–100.

POPL-1996-FegarasS #data type #embedded #morphism #source code

Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space) (LF, TS), pp. 284–294.