Combining algebraic effects with continuations
From MaRDI portal
Publication:879352
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20) Semantics in the theory of computing (68Q55)
Recommendations
Cites work
- scientific article; zbMATH DE number 1705158 (Why is no real title available?)
- scientific article; zbMATH DE number 4179333 (Why is no real title available?)
- scientific article; zbMATH DE number 3855352 (Why is no real title available?)
- scientific article; zbMATH DE number 3904807 (Why is no real title available?)
- scientific article; zbMATH DE number 4108979 (Why is no real title available?)
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 3490449 (Why is no real title available?)
- scientific article; zbMATH DE number 3549200 (Why is no real title available?)
- scientific article; zbMATH DE number 1324438 (Why is no real title available?)
- scientific article; zbMATH DE number 575948 (Why is no real title available?)
- scientific article; zbMATH DE number 1538034 (Why is no real title available?)
- scientific article; zbMATH DE number 1373521 (Why is no real title available?)
- scientific article; zbMATH DE number 2087441 (Why is no real title available?)
- scientific article; zbMATH DE number 2087542 (Why is no real title available?)
- scientific article; zbMATH DE number 2090722 (Why is no real title available?)
- scientific article; zbMATH DE number 2120508 (Why is no real title available?)
- A type-theoretic foundation of continuations and prompts
- A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
- Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
- Algebraic operations and generic effects
- Axioms for recursion in call-by-value
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- Combining effects: sum and tensor
- Comparing control constructs by double-barrelled CPS
- Composing monads using coproducts
- Computational effects and operations: an overview
- Definitional interpreters for higher-order programming languages
- Definitional interpreters revisited
- From comodels to coalgebras: state and arrays
- GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
- Kan extensions in enriched category theory
- Modelling environments in call-by-value programming languages.
- Monads and adjunctions for global exceptions
- Monads on symmetric monoidal closed categories
- Notions of computation and monads
- On the call-by-value CPS transform and its semantics
- Pseudo-commutative monads
- Pseudo-commutative monads and pseudo-closed 2-categories
- Revised report on the algorithmic language scheme
- Semantics of the Domain of Flow Diagrams
- Some Varieties of Equational Logic
- Sound and complete axiomatisations of call-by-value control operators
- The duality of computation
- Theories of Programming Languages
Cited in
(20)- An algebraic theory for shared-state concurrency
- Observationally-induced algebras in domain theory
- A coinductive calculus for asynchronous side-effecting processes
- The category theoretic understanding of universal algebra: Lawvere theories and monads
- Combining control effects and their models: game semantics for a hierarchy of static, dynamic and delimited control effects
- Computational effects and operations: an overview
- Algebraic and coalgebraic perspectives on interaction laws
- Stateful runners of effectful computations
- Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot
- Programming with algebraic effects and handlers
- Discrete Lawvere theories and computational effects
- Smart Choices and the Selection Monad
- Observationally-induced effects in Cartesian closed categories
- Gabriel–Ulmer duality and Lawvere theories enriched over a general base
- Decomposing Comonad Morphisms.
- Combining effects: sum and tensor
- Tensors of comodels and models for operational semantics
- Commutativity
- Sum and tensor of quantitative effects
- Combining and relating control effects and their semantics
This page was built for publication: Combining algebraic effects with continuations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q879352)
