Handlers of Algebraic Effects
From MaRDI portal
Recommendations
Cited in
(59)- Monad transformers as monoid transformers
- A Functional Abstraction of Typed Invocation Contexts
- Normalization by evaluation and algebraic effects
- Unguarded recursion on coinductive resumptions
- Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation
- scientific article; zbMATH DE number 2087428 (Why is no real title available?)
- Asymptotic speedup via effect handlers
- Handlers in action
- Fusion for free. Efficient algebraic effect handlers
- From high to low: simulating nondeterminism and state with state
- On CSP and the algebraic theory of effects
- A functional account of probabilistic programming with possible worlds. Declarative pearl
- Contextual modal type theory with polymorphic contexts
- Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
- Freyd categories are enriched Lawvere theories
- Algebra and Coalgebra in Computer Science
- A type system for effect handlers and dynamic labels
- Inferring algebraic effects
- A representation theorem for second-order functionals
- Combining algebraic effects with continuations
- Structured handling of scoped effects
- Not by equations alone. Reasoning with extensible effects
- Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
- Signature restriction for polymorphic algebraic effects
- Unifying theories of programming with monads
- Equational theories of abnormal termination based on Kleene algebra
- Introducing a calculus of effects and handlers for natural language semantics
- Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
- An effect system for algebraic effects and handlers
- A calculus for scoped effects \& handlers
- Relating Computational Effects by ⊤ ⊤-Lifting
- Algebraic and coalgebraic perspectives on interaction laws
- A duality between exceptions and states
- Category-graded algebraic theories and effect handlers
- Call-by-name is just call-by-value with delimited control
- The functional machine calculus
- Hefty algebras: modular elaboration of higher-order effects
- Handling algebraic effects
- Handling local state with global state
- Design and implementation of the andromeda proof assistant
- Higher-order asynchronous effects
- scientific article; zbMATH DE number 1705158 (Why is no real title available?)
- Understanding algebraic effect handlers via delimited control operators
- Programming with algebraic effects and handlers
- An introduction to algebraic effects and handlers (invited tutorial paper)
- Latent Effects for Reusable Language Components
- An algebraic theory for shared-state concurrency
- Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics
- Tail recursion modulo context: an equational approach (extended version)
- Grounding game semantics in categorical algebra
- A computational treatment of anaphora and its algorithmic implementation
- Syntax and semantics for operations with scopes
- Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular
- Combining predicate transformer semantics for effects: a case study in parsing regular languages
- Modal crash types for intermittent computing
- Doo bee doo bee doo
- Local algebraic effect theories
- An effect system for algebraic effects and handlers
- No value restriction is needed for algebraic effects and handlers
This page was built for publication: Handlers of Algebraic Effects
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3617692)
