‪Harrison Grodin‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	31	30
h-index	3	3
i10-index	1	1

0

12

6

20212022202320243 7 9 11

Public access

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Jonathan SterlingUniversity of CambridgeVerified email at cl.cam.ac.uk
Yue NiuDoctoral student, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Runming LiCarnegie Mellon UniversityVerified email at andrew.cmu.edu

Harrison Grodin

Harrison Grodin

PhD Student, Carnegie Mellon University

Verified email at cs.cmu.edu - Homepage

type theory programming languages logic category theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A cost-aware logical framework Y Niu, J Sterling, H Grodin, R Harper Proceedings of the ACM on Programming Languages 6 (POPL), 1-31, 2022	24	2022
Decalf: A Directed, Effectful Cost-Aware Logical Framework H Grodin, Y Niu, J Sterling, R Harper Proceedings of the ACM on Programming Languages 8 (POPL), 273-301, 2024	4	2024
Amortized Analysis via Coinduction (Early Ideas) H Grodin, R Harper Conference on Algebra and Coalgebra in Computer Science (CALCO) 10, 23:1--23:6, 2023	3*	2023
Amortized Analysis via Coalgebra H Grodin, R Harper arXiv preprint arXiv:2404.03641, 2024		2024
A Verified Cost Analysis of Joinable Red-Black Trees R Li, H Grodin, R Harper arXiv preprint arXiv:2309.11056, 2023		2023

The system can't perform the operation now. Try again later.

Articles 1–5