Algebraic operations and generic effects

DOI10.1023/A:1023064908962zbMath1023.18006OpenAlexW1606211906MaRDI QIDQ1811033

Publication date: 9 June 2003

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1023064908962

zbMATH Keywords

monad Kleisli category Lawvere theory computational effect strong monad algebraic operation category-theoretic semantics computational \(\lambda\)-calculus Moggi's semantics models

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50) Combinatory logic and lambda calculus (03B40)

Related Items (51)

Normalization by evaluation and algebraic effects ⋮ Continuity of Gödel's system T definable functionals via effectful forcing ⋮ Explicit effect subtyping ⋮ Runners in Action ⋮ Non-deterministic effects in a realizability model ⋮ Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics ⋮ A Nominal Relational Model for Local Store ⋮ The costructure–cosemantics adjunction for comodels for computational effects ⋮ String diagram rewrite theory II: Rewriting with symmetric monoidal structure ⋮ Pseudo-distributive laws and axiomatics for variable binding ⋮ Generic models for computational effects ⋮ Combining algebraic effects with continuations ⋮ Turing-Completeness Totally Free ⋮ Fusion for Free ⋮ A coinductive calculus for asynchronous side-effecting processes ⋮ When programs have to watch paint dry ⋮ From semantics to types: the case of the imperative \(\lambda\)-calculus ⋮ Flexibly graded monads and graded algebras ⋮ Understanding algebraic effect handlers via delimited control operators ⋮ Sound and complete type inference for closed effect rows ⋮ Interpreting Localized Computational Effects Using Operators of Higher Type ⋮ Smart Choices and the Selection Monad ⋮ Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala ⋮ Doo bee doo bee doo ⋮ Canonical Gradings of Monads ⋮ Structured handling of scoped effects ⋮ Unnamed Item ⋮ An algebraic theory for shared-state concurrency ⋮ Local local reasoning: a BI-hyperdoctrine for full ground store ⋮ Local algebraic effect theories ⋮ Unnamed Item ⋮ A representation theorem for second-order functionals ⋮ No value restriction is needed for algebraic effects and handlers ⋮ Unnamed Item ⋮ Unnamed Item ⋮ An introduction to algebraic effects and handlers (invited tutorial paper) ⋮ Programming with algebraic effects and handlers ⋮ Observationally-induced lower and upper powerspace constructions ⋮ Effectful applicative similarity for call-by-name lambda calculi ⋮ Codensity Lifting of Monads and its Dual ⋮ Free-algebra models for the \(\pi \)-calculus ⋮ Infinite trace equivalence ⋮ Tensors of Comodels and Models for Operational Semantics ⋮ Comparing free algebras in topological and classical domain theory ⋮ Combining effects: sum and tensor ⋮ On the construction of free algebras for equational systems ⋮ Gabriel–Ulmer duality and Lawvere theories enriched over a general base ⋮ The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads ⋮ Abstract Syntax: Substitution and Binders ⋮ Not by equations alone: Reasoning with extensible effects ⋮ Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs

This page was built for publication: Algebraic operations and generic effects