@misc{indiciaef5b5c60a536c,
  title = {From F to DOT: Type Soundness Proofs with Definitional Interpreters},
  author = {Tiark Rompf and Nada Amin},
  year = {2016},
  url = {https://arxiv.org/abs/1510.05216},
  note = {Source identifier: 1510.05216}
}