Pages that link to "Item:Q5428371"
From MaRDI portal
The following pages link to A monadic framework for delimited continuations (Q5428371):
Displaying 15 items.
- On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation (Q428886) (← links)
- Delimited control in OCaml, abstractly and concretely (Q428889) (← links)
- A type-theoretic foundation of delimited continuations (Q968364) (← links)
- Functional un\(|\)unparsing (Q1929354) (← links)
- Continuous monads (Q2133476) (← links)
- A static simulation of dynamic delimited control (Q2464731) (← links)
- (Q4957790) (← links)
- A Functional Abstraction of Typed Invocation Contexts (Q5043596) (← links)
- Effect handlers via generalised continuations (Q5110928) (← links)
- Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala (Q5110932) (← links)
- (Q5144666) (← links)
- Imperative streams—a monadic combinator library for synchronous programming (Q5234274) (← links)
- (Q5377471) (← links)
- Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot (Q5875354) (← links)
- Disjunctive delimited control (Q6102252) (← links)