conf.researchr.org / Yue Yao
Registered user since Thu 23 Sep 2021
Name:Yue Yao
Country:United States
Affiliation:Carnegie Mellon University
Research interests:Programming Languages, Type Theories, Session Types
Contributions
Registered user since Thu 23 Sep 2021
Contributions