publications

2025

  1. đź“ť Preprint
    grodin-li-harper:2025.png
    Abstraction Functions as Types
    Harrison Grodin, Runming Li, and Robert Harper
    Feb 2025

2024

  1. Amortized Analysis via Coalgebra
    Harrison Grodin, and Robert Harper
    Electronic Notes in Theoretical Informatics and Computer Science, Dec 2024
  2. Decalf: A Directed, Effectful Cost-Aware Logical Framework
    Harrison Grodin, Yue Niu, Jonathan Sterling, and Robert Harper
    Proceedings of the ACM on Programming Languages, Jan 2024

2023

  1. đź“ť Preprint
    li-grodin-harper:2023.png
    A Verified Cost Analysis of Joinable Red-Black Trees
    Runming Li, Harrison Grodin, and Robert Harper
    Sep 2023
  2. Amortized Analysis via Coinduction (Early Ideas)
    Harrison Grodin, and Robert Harper
    In 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023), Sep 2023
  3. PLunch
    grodin:2023-02-24-effects.png
    Monads, Comonads, and Algebraic Effects
    Harrison Grodin
    Feb 2023

2022

  1. A Cost-Aware Logical Framework
    Yue Niu, Jonathan Sterling, Harrison Grodin, and Robert Harper
    Proceedings of the ACM on Programming Languages, Jan 2022