Pages that link to "Item:Q5110928"
From MaRDI portal
The following pages link to Effect handlers via generalised continuations (Q5110928):
Displaying 10 items.
- Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation (Q831147) (← links)
- From control effects to typed continuation passing (Q2942920) (← links)
- A Functional Abstraction of Typed Invocation Contexts (Q5043596) (← links)
- Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala (Q5110932) (← links)
- Doo bee doo bee doo (Q5110934) (← links)
- Continuation passing style for effect handlers (Q5111314) (← links)
- Region-based resource management and lexical exception handlers in continuation-passing style (Q6166801) (← links)
- Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library (Q6178671) (← links)
- Latent Effects for Reusable Language Components (Q6488151) (← links)
- Asymptotic speedup via effect handlers (Q6561531) (← links)