The following pages link to (Q4518889):
Displaying 6 items.
- Combining control effects and their models: game semantics for a hierarchy of static, dynamic and delimited control effects (Q345713) (← links)
- Combining algebraic effects with continuations (Q879352) (← links)
- A type-theoretic foundation of delimited continuations (Q968364) (← links)
- Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)
- Comparing Control Constructs by Double-barrelled CPS Transforms (Q4917068) (← links)
- Region-based resource management and lexical exception handlers in continuation-passing style (Q6166801) (← links)