[PLDI'23] Trace-Guided Inductive Synthesis of Recursive Functional Programs | ACM SIGPLAN | Podwise