TY - RPRT TI - Origami: (un)folding the abstraction of recursion schemes for program synthesis AU - Matheus Campos Fernandes AU - Fabricio Olivetti de Franca AU - Emilio Francesquini PY - 2024 DO - 10.1007/978-981-99-8413-8_14 UR - https://arxiv.org/abs/2402.13828 ID - 2402.13828 ER -