Write a Blog >>

Registered user since Tue 17 Dec 2019

Name: Irene Yoon

Country: United States

Affiliation: University of Pennsylvania

Personal website: https://seas.upenn.edu/~euisuny

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