The following pages link to Doo bee doo bee doo (Q5110934):
Displayed 6 items.
- Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation (Q831147) (← links)
- Effect handlers via generalised continuations (Q5110928) (← links)
- Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala (Q5110932) (← links)
- When programs have to watch paint dry (Q6070787) (← links)
- Sound and complete type inference for closed effect rows (Q6111455) (← links)
- Automated temporal verification for algebraic effects (Q6176569) (← links)