@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}
}