Pages that link to "Item:Q2464731"
From MaRDI portal
The following pages link to A static simulation of dynamic delimited control (Q2464731):
Displaying 7 items.
- Delimited control and computational effects (Q2875223) (← links)
- A Functional Abstraction of Typed Invocation Contexts (Q5043596) (← links)
- (Q5089033) (← links)
- Effect handlers via generalised continuations (Q5110928) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
- (Q5377471) (← links)
- On one-pass CPS transformations (Q5428374) (← links)
