Algebraic operations and generic effects
From MaRDI portal
Recommendations
Cited in
(64)- A coinductive calculus for asynchronous side-effecting processes
- Normalization by evaluation and algebraic effects
- Sound and complete type inference for closed effect rows
- Comparing free algebras in topological and classical domain theory
- Effectful applicative similarity for call-by-name lambda calculi
- When programs have to watch paint dry
- A fibrational tale of operational logical relations: pure, effectful and differential
- Fusion for free. Efficient algebraic effect handlers
- On CSP and the algebraic theory of effects
- Observationally-induced lower and upper powerspace constructions
- Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
- Canonical Gradings of Monads
- Foundations of Software Science and Computation Structures
- Pseudo-distributive laws and axiomatics for variable binding
- A representation theorem for second-order functionals
- Combining algebraic effects with continuations
- Non-deterministic effects in a realizability model
- Codensity lifting of monads and its dual
- Runners in Action
- Continuity of Gödel's system T definable functionals via effectful forcing
- Structured handling of scoped effects
- Gabriel–Ulmer duality and Lawvere theories enriched over a general base
- Not by equations alone. Reasoning with extensible effects
- Generic models for computational effects
- Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
- Signature restriction for polymorphic algebraic effects
- Smart Choices and the Selection Monad
- Abstract syntax: substitution and binders
- Instances of computational effects: an algebraic perspective
- A nominal relational model for local store
- Infinite trace equivalence
- Observationally-induced effects in Cartesian closed categories
- Eilenberg-Moore monoids and backtracking monad transformers
- Flexibly graded monads and graded algebras
- Free-algebra models for the \(\pi \)-calculus
- On the construction of free algebras for equational systems
- Combining effects: sum and tensor
- Higher-order asynchronous effects
- Sum and tensor of quantitative 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
- The category theoretic understanding of universal algebra: Lawvere theories and monads
- From semantics to types: the case of the imperative \(\lambda\)-calculus
- An introduction to algebraic effects and handlers (invited tutorial paper)
- Latent Effects for Reusable Language Components
- Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs
- An algebraic theory for shared-state concurrency
- Semantics for algebraic operations
- Explicit effect subtyping
- Turing-Completeness Totally Free
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure
- The costructure–cosemantics adjunction for comodels for computational effects
- The beta-Bernoulli process and algebraic effects
- Syntax and semantics for operations with scopes
- From semantics to types: the case of the imperative \(\lambda\)-calculus
- Combining predicate transformer semantics for effects: a case study in parsing regular languages
- Tensors of comodels and models for operational semantics
- scientific article; zbMATH DE number 7453165 (Why is no real title available?)
- Interpreting Localized Computational Effects Using Operators of Higher Type
- Doo bee doo bee doo
- Local algebraic effect theories
- Local local reasoning: a BI-hyperdoctrine for full ground store
- No value restriction is needed for algebraic effects and handlers
This page was built for publication: Algebraic operations and generic effects
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1811033)
