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

Using general profile