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, category theory
Contributions
Using general profile