Pages that link to "Item:Q5458440"
From MaRDI portal
The following pages link to Typed Dynamic Control Operators for Delimited Continuations (Q5458440):
Displaying 4 items.
- Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)
- A Functional Abstraction of Typed Invocation Contexts (Q5043596) (← links)
- On the unification of classical, intuitionistic and affine logics (Q5236553) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
