2 papers
cs.PL2026
Persistent Amortised Analysis, Operationally
Anton Lorenzen
Amortised analysis is a technique for proving a combined time bound for a batch of operations on a data structure, even if some of those operations are expensive. But the tradition…
cs.PL2025
Modal Effect Types
Wenhao Tang, Leo White, Stephen Dolan +3
Effect handlers are a powerful abstraction for defining, customising, and composing computational effects. Statically ensuring that all effect operations are handled requires some…