3 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.PL2024★ 1 cited
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…
cs.PL2020★ 3 cited
Effects for Efficiency: Asymptotic Speedup with First-Class Control
Daniel Hillerström, Sam Lindley, John Longley
We study the fundamental efficiency of delimited control. Specifically, we show that effect handlers enable an asymptotic improvement in runtime complexity for a certain class of f…