Comment by fbriggs

Here's my paper on recursive program synthesis using combinator expressions from 2006:

https://www.cs.hmc.edu/~oneill/papers/Combinators-ASPGP.pdf