Folgen
Harrison Grodin
Harrison Grodin
PhD Student, Carnegie Mellon University
Bestätigte E-Mail-Adresse bei cs.cmu.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
322022
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
52024
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
10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)
R Harper, R Bruni, E Pimentel, LC Pereira, JG Siek, A Mahboubi, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2023
2023
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–6