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

Date:

More information here