Pages that link to "Item:Q2936829"
From MaRDI portal
The following pages link to Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform (Q2936829):
Displaying 7 items.
- Delimited control in OCaml, abstractly and concretely (Q428889) (← links)
- Continuation-passing C, compiling threads to events through continuations (Q1929338) (← links)
- (Q4603450) (← links)
- A Functional Abstraction of Typed Invocation Contexts (Q5043596) (← links)
- Verifying Selective CPS Transformation for Shift and Reset (Q5098734) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
- (Q5377471) (← links)
