The following pages link to Handlers of Algebraic Effects (Q3617692):
Displaying 30 items.
- Normalization by evaluation and algebraic effects (Q265792) (← links)
- Freyd categories are enriched Lawvere theories (Q280202) (← links)
- Programming with algebraic effects and handlers (Q478396) (← links)
- Monad transformers as monoid transformers (Q615955) (← links)
- Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation (Q831147) (← links)
- A computational treatment of anaphora and its algorithmic implementation (Q2035844) (← links)
- Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics (Q2134832) (← links)
- A functional account of probabilistic programming with possible worlds. Declarative pearl (Q2163171) (← links)
- Introducing a Calculus of Effects and Handlers for Natural Language Semantics (Q2835059) (← links)
- A duality between exceptions and states (Q2909735) (← links)
- Equational Theories of Abnormal Termination Based on Kleene Algebra (Q2988362) (← links)
- Relating Computational Effects by ⊤ ⊤-Lifting (Q3012918) (← links)
- Unifying Theories of Programming with Monads (Q3455643) (← links)
- Not by equations alone: Reasoning with extensible effects (Q5018775) (← links)
- (Q5020618) (← links)
- A Functional Abstraction of Typed Invocation Contexts (Q5043596) (← links)
- Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular (Q5079754) (← links)
- Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala (Q5110932) (← links)
- Doo bee doo bee doo (Q5110934) (← links)
- Local algebraic effect theories (Q5120228) (← links)
- A representation theorem for second-order functionals (Q5371942) (← links)
- An introduction to algebraic effects and handlers (invited tutorial paper) (Q5971390) (← links)
- Unguarded recursion on coinductive resumptions (Q5971399) (← links)
- Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library (Q6178671) (← links)
- Latent Effects for Reusable Language Components (Q6488151) (← links)
- Modal crash types for intermittent computing (Q6535235) (← links)
- A type system for effect handlers and dynamic labels (Q6535238) (← links)
- Contextual modal type theory with polymorphic contexts (Q6535241) (← links)
- Asymptotic speedup via effect handlers (Q6561531) (← links)
- Signature restriction for polymorphic algebraic effects (Q6594243) (← links)
