@article{peleg2020resl, title={Programming with a Read-Eval-Synth Loop}, author={Peleg, Hila and Gabai, Roi and Itzhaky, Shachar and Yahav, Eran}, journal={Proceedings of the ACM on Programming Languages}, volume={4}, number={OOPSLA}, year={2020}, month={11}, publisher={ACM New York, NY, USA}, doi={10.1145/3428227} }