[Paper] Functional Program Synthesis with Higher-Order Functions and Recursion Schemes
Program synthesis is the process of generating a computer program following a set of specifications, such as a set of input-output examples. It can be modeled a...