Origami: (un)folding the abstraction of recursion schemes for program synthesis

Re-assign community