Runming Li
Scholar

Runming Li

Google Scholar ID: -tmh0k4AAAAJ
Ph.D. Student, Carnegie Mellon University
Programming LanguagesType Theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
6
 
H-index
2
 
i10-index
0
 
Publications
5
 
Co-authors
7
list available
Contact
No contact links provided.
Publications
4 items
Mechanizing Synthetic Tait Computability in Istari
2025
Cited
0
Big-Stop Semantics: A Simple Way to Get the Benefits of Small-Step Semantics in a Big-Step Judgment
2025
Cited
0
Canonicity for Cost-Aware Logical Framework via Synthetic Tait Computability
2025
Cited
0
Abstraction Functions as Types
2025
Cited
0
Resume (English only)
Co-authors
7 total
Robert Harper
Robert Harper
Professor of Computer Science, Carnegie Mellon University
Harrison Grodin
Harrison Grodin
Ph.D. Student, Carnegie Mellon University
Marijn Heule
Marijn Heule
Associate Professor of Computer Science, Carnegie Mellon University
Kristin Y. Rozier
Kristin Y. Rozier
NASA
Keerthana Gurushankar
Keerthana Gurushankar
Carnegie Mellon University
Jan Hoffmann
Jan Hoffmann
Carnegie Mellon University
David M Kahn
David M Kahn
Assistant Professor, Denison University