conf.researchr.org / Runming Li

Registered user since Fri 1 Sep 2023

Name:Runming Li
Affiliation:Carnegie Mellon University
Personal website: https://www.cs.cmu.edu/~runmingl/
Research interests:Programming Languages, Type Theory

Contributions