@misc{indiciaee7a9567ef31b,
  title = {Using human-in-the-loop synthesis to author functional reactive programs},
  author = {Julie L Newcomb and Rastislav Bodik},
  year = {2019},
  url = {https://arxiv.org/abs/1909.11206},
  note = {Source identifier: 1909.11206}
}