conf.researchr.org / Runming Li
Registered user since Fri 1 Sep 2023
Name:Runming Li
Country:United States
Affiliation:Carnegie Mellon University
Personal website: https://www.cs.cmu.edu/~runmingl/
Research interests:Programming Languages, Type Theory
Contributions