@misc{indiciae4d1fc7dd1e05,
  title = {Interaction Trees: Representing Recursive and Impure Programs in Coq},
  author = {Li-yao Xia and Yannick Zakowski and Paul He and Chung-Kil Hur and Gregory Malecha and Benjamin C. Pierce and Steve Zdancewic},
  year = {2019},
  doi = {10.1145/3371119},
  url = {https://arxiv.org/abs/1906.00046},
  note = {Source identifier: 1906.00046}
}