[fbriggs]

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

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

[082349872349872]

I'd guess introns are also prevalent in human-synthesised programs?

[grugagag]

What are human-synthesised programs?

[082349872349872]

Ones that people manually craft/write/hack up/slap together...