Pages that link to "Item:Q3498441"
From MaRDI portal
The following pages link to Polymorphic Delimited Continuations (Q3498441):
Displaying 10 items.
- Delimited control operators prove double-negation shift (Q450950) (← links)
- On typing delimited continuations: Three new solutions to the printf problem (Q968365) (← links)
- Functional un\(|\)unparsing (Q1929354) (← links)
- (Q4603450) (← links)
- (Q4957787) (← links)
- A Functional Abstraction of Typed Invocation Contexts (Q5043596) (← links)
- (Q5079752) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
- (Q5377471) (← links)
- (Q5856422) (← links)
