
Registered user since Fri 20 Feb 2015
Name:Yizhou Zhang
Country:Canada
Affiliation:University of Waterloo
Personal website:https://cs.uwaterloo.ca/~yizhou
Contributions
PLDI 2023 | Committee Member in PLDI Review Committee within the PLDI Research Papers-track Extensible Metatheory Mechanization via Family Polymorphism | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile