Example-directed synthesis: a type-theoretic interpretation
Synthesizing data structure transformations from input-output examples