Languages with Potential: Types and Recurrences for Formal Amortized Analysis.
Joseph W. Cutler.
Undergraduate Thesis, Wesleyan University. 2021
Denotational Cost Semantics for Amortized Analysis.
Joseph W. Cutler, Daniel R. Licata, Norman Danner.
ICFP '20. [Extended Version] [Slides] [Talk Video]
Conferences after COVID: An Early-Career Perspective.
Joseph W. Cutler,
Andrew K. Hirsch,
SIGPLAN Blog "PL Perspectives": March 25, 2021.