Write a Blog >>

Registered user since Tue 17 Dec 2019

Name:Irene Yoon
Country:United States
Affiliation:University of Pennsylvania

Contributions

POPL 2020 Through the Interaction Forest: Modeling Concurrency in Coq with Interaction Trees
Show activities from other conferences

POPL 2020-profile
View general profile