Functional Program Synthesis with Higher-Order Functions and Recursion Schemes

Matheus Campos Fernandes

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 as a search problem i…