Showing 2024Show all
2 papers · 1 filter
cs.PL2024
Amortized Analysis via Coalgebra
Harrison Grodin, Robert Harper
Amortized analysis is a cost analysis technique for data structures in which cost is studied in aggregate: rather than considering the maximum cost of a single operation, one bound…
cs.PL2024
Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory
Yue Niu, Jonathan Sterling, Robert Harper
We study a cost-aware programming language for higher-order recursion dubbed in the setting of synthetic domain theory (SDT). Our main contribution rel…