Harrison Grodin
Scholar

Harrison Grodin

Google Scholar ID: cQBvhe8AAAAJ
Ph.D. Student, Carnegie Mellon University
type theoryprogramming languageslogiccategory theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
57
 
H-index
3
 
i10-index
2
 
Publications
7
 
Co-authors
4
list available
Contact
No contact links provided.
Publications
1 items
Abstraction Functions as Types
2025
Cited
0
Resume (English only)
Co-authors
4 total
Robert Harper
Robert Harper
Professor of Computer Science, Carnegie Mellon University
Jonathan Sterling
Jonathan Sterling
Associate Professor, University of Cambridge
Yue Niu
Yue Niu
Doctoral student, Carnegie Mellon University
Runming Li
Runming Li
Ph.D. Student, Carnegie Mellon University