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