Programming with a read-eval-synth loop. - Hila Peleg; Roi Gabay; Shachar Itzhaky; Eran Yahav (Proc. ACM Program. Lang., 2020)