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

Leonidas Fegaras, Tim Sheard

Browse the full POPL paper archive.