sle2025/paper11

SLE 2025 paper:
Optimize Effect Handling for Tail-resumption with Stack Unwinding

Yuze Fu, Shigeru Chiba

• DOI: 10.1145/3732771.3742721
• T4D: Interpretation
  • Effect handlers are a runtime control-flow mechanism, and the paper proposes a concrete runtime implementation strategy.
• T5F: Performance
  • The goal is to reduce overhead for tail-resumptive handlers, with performance as the main evaluation dimension.
• T1C: Behavioural Semantics
  • The work is about executable semantics of algebraic effects/handlers and how they are realized operationally.

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.