A type-theory for higher-order amortized analysis

Vineet Rajani. A type-theory for higher-order amortized analysis. PhD thesis, Saarland University, Saarbrücken, Germany, 2020. [doi]

Abstract

Abstract is missing.