Yihong Zhang

Registered user since Sun 3 Oct 2021

Name:Yihong Zhang
Bio:

Student at the University of Washington

Country:United States
Affiliation:University of Washington
Personal website:https://effect.systems
Research interests:Programming Languages

Contributions

POPL 2022 Relational E-matching
Show activities from other conferences

POPL 2022-profile
View general profile