Journal Articles
Proceedings of the ACM on Programming Languages
Year : 2020
Yannick Zakowski : Connect in order to contact the contributor
https://hal.science/hal-03105140
Submitted on : Sunday, January 10, 2021-8:02:14 PM
Last modification on : Thursday, February 16, 2023-11:24:09 AM
Dates and versions
Identifiers
- HAL Id : hal-03105140 , version 1
- ARXIV : 1906.00046
- DOI : 10.1145/3371119
Cite
Li-Yao Xia, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, et al.. Interaction trees: representing recursive and impure programs in Coq. Proceedings of the ACM on Programming Languages, 2020, 4 (POPL), pp.1-32. ⟨10.1145/3371119⟩. ⟨hal-03105140⟩
66
View
0
Download