@misc{indiciaeb51a4b27d1ef,
  title = {Abstracting Definitional Interpreters},
  author = {David Darais and Nicholas Labich and Phuc C. Nguyen and David Van Horn},
  year = {2017},
  doi = {10.1145/3110256},
  url = {https://arxiv.org/abs/1707.04755},
  note = {Source identifier: 1707.04755}
}