Journal Articles Proceedings of the ACM on Programming Languages Year : 2020

Interaction trees: representing recursive and impure programs in Coq

Dates and versions

hal-03105140 , version 1 (10-01-2021)

Identifiers

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

Altmetric

Share

More