TY  - RPRT
TI  - Interaction Trees: Representing Recursive and Impure Programs in Coq
AU  - Li-yao Xia
AU  - Yannick Zakowski
AU  - Paul He
AU  - Chung-Kil Hur
AU  - Gregory Malecha
AU  - Benjamin C. Pierce
AU  - Steve Zdancewic
PY  - 2019
DO  - 10.1145/3371119
UR  - https://arxiv.org/abs/1906.00046
ID  - 1906.00046
ER  -