S-Space

Browse

Author

Showing results 1 to 1 of 1

Issue Date	Title / Author(s) / Citation	File	Altmetrics
2020-01	Interaction trees: Representing recursive and impure programs in Coq Xia, Li-Yao; Zakowski, Yannick; He, Paul; Hur, Chung-Kil; Malecha, Gregory; Pierce, Benjamin C.; Zdancewic, Steve Proceedings of the ACM on Programming Languages, Vol.4 No.POPL, p. 51	DOI