28 citations · 42 across the 10 of their papers we have counts for
1 paper · 1 filter
Marco Paviotti, Nicolas Wu
Structured recursion schemes such as folds and unfolds have been widely used for structuring both functional programs and program semantics. In this context, it has been customary…