[PLDI24] Recursive Program Synthesis using Paramorphisms | ACM SIGPLAN | Podwise