@misc{indiciae63413fc4c8e2,
  title = {Bidirectional Evaluation with Direct Manipulation},
  author = {Mikaël Mayer and Viktor Kunčak and Ravi Chugh},
  year = {2018},
  doi = {10.1145/3276497},
  url = {https://arxiv.org/abs/1809.04209},
  note = {Source identifier: 1809.04209}
}