Computational effects and operations: an overview
zbMATH Open1273.68213MaRDI QIDQ2851544FDOQ2851544
Authors: Gordon D. Plotkin, John Power 
Publication date: 10 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104050893
Recommendations
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) Categorical semantics of formal languages (18C50) Semantics in the theory of computing (68Q55)
Cited In (33)
- Backtracking with cut via a distributive law and left-zero monoids
- Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
- Comparing free algebras in topological and classical domain theory
- Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation
- VDM semantics of programming languages: Combinators and monads
- Observationally-induced algebras in domain theory
- Monoidal indeterminates and categories of possible worlds
- Algebra and Coalgebra in Computer Science
- Comonadic notions of computation
- Observationally-induced lower and upper powerspace constructions
- Foundations of Software Science and Computation Structures
- Freyd categories are enriched Lawvere theories
- Combining algebraic effects with continuations
- Generic models for computational effects
- Duoidally enriched Freyd categories
- Algebraic operations and generic effects
- Presenting dcpos and dcpo algebras
- Equational theories of abnormal termination based on Kleene algebra
- Observationally-induced effects in Cartesian closed categories
- Observationally-induced effect monads: upper and lower powerspace constructions
- Two cotensors in one: presentations of algebraic theories for local state and fresh names
- Combining effects: sum and tensor
- On the construction of free algebras for equational systems
- The category theoretic understanding of universal algebra: Lawvere theories and monads
- A counterexample to tensorability of effects
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure
- Metric monads
- A convenient category of domains
- Tensors of comodels and models for operational semantics
- Title not available (Why is that?)
- Interpreting Localized Computational Effects Using Operators of Higher Type
- Lawvere theories enriched over a general base
- Modularity and implementation of mathematical operational semantics
Uses Software
This page was built for publication: Computational effects and operations: an overview
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2851544)
