Here's my paper on recursive program synthesis using combinator expressions from 2006:<p><a href="https://www.cs.hmc.edu/~oneill/papers/Combinators-ASPGP.pdf" rel="nofollow">https://www.cs.hmc.edu/~oneill/papers/Combinators-ASPGP.pdf</a>