Adequacy for algebraic effects
From MaRDI portal
Recommendations
Cited in
(53)- Complete Elgot monads and coalgebraic resumptions
- Algebraic operations and generic effects
- Modular structural operational semantics
- Effectful applicative similarity for call-by-name lambda calculi
- On bisimilarity in lambda calculi with continuous probabilistic choice
- Quantitative logics for equivalence of effectful programs
- Combining algebraic effect descriptions using the tensor of complete lattices
- Graded algebraic theories
- Intuitionistic fixed point logic
- A sound and complete logic for algebraic effects
- Lawvere theories enriched over a general base
- Infinite trace equivalence
- Combining effects: sum and tensor
- The category theoretic understanding of universal algebra: Lawvere theories and monads
- On CSP and the algebraic theory of effects
- Semantics of higher-order quantum computation via geometry of interaction
- Programming with algebraic effects and handlers
- Semantics for algebraic operations
- scientific article; zbMATH DE number 7453165 (Why is no real title available?)
- Synthetic topology in Homotopy Type Theory for probabilistic programming
- The costructure–cosemantics adjunction for comodels for computational effects
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure
- Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular
- Effect handlers via generalised continuations
- Doo bee doo bee doo
- Continuation passing style for effect handlers
- Local algebraic effect theories
- Explicit fair scheduling for dynamic control
- Tensors of comodels and models for operational semantics
- Algebra and Coalgebra in Computer Science
- Towards Effects in Mathematical Operational Semantics
- Category theoretic semantics for theorem proving in logic programming: embracing the laxness
- A metalanguage for guarded iteration
- An introduction to algebraic effects and handlers (invited tutorial paper)
- Streams of approximations, equivalence of recursive effectful programs
- Smart Choices and the Selection Monad
- The order-K-ification monads
- Algebraic effects for extensible dynamic semantics
- Runners for interleaving algebraic effects
- Grounding game semantics in categorical algebra
- Asymptotic speedup via effect handlers
- A fibrational tale of operational logical relations: pure, effectful and differential
- Inductive and coinductive predicate liftings for effectful programs
- Preorder-constrained simulations for program refinement with effects
- Category-graded algebraic theories and effect handlers
- Representing guardedness in call-by-value and guarded parametrized monads
- A quantitative approach to global state composition
- Algebraic effects and handlers for arrows
- Generic models for computational effects
- Discrete Lawvere theories and computational effects
- Combining algebraic effects with continuations
- On the relations between monadic semantics
- Generic weakest precondition semantics from monads enriched with order
This page was built for publication: Adequacy for algebraic effects
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2771052)
