‪Harrison Grodin‬ - ‪Academic Search‬

Get my own profile

Cited by

	All	Since 2020
Citations	47	47
h-index	3	3
i10-index	1	1

0

26

13

202120222023202420253 7 9 25 3

Public access

2 articles

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 LiPh.D. Student, Carnegie Mellon UniversityVerified email at cs.cmu.edu

Harrison Grodin

Harrison Grodin

Ph.D. 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	35	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	7	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	4*	2023
A Verified Cost Analysis of Joinable Red-Black Trees R Li, H Grodin, R Harper arXiv preprint arXiv:2309.11056, 2023	1	2023
Amortized Analysis via Coalgebra H Grodin, R Harper arXiv preprint arXiv:2404.03641, 2024		2024
Recursive Types via Domain Theory H Grodin		2023

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

Articles 1–6