Parametric effect monads and semantics of effect systems

DOI10.1145/2535838.2535846MaRDI QIDQ5408455zbMATH OpenFDO

Authors Shin-ya Katsumata

Publication date 10 April 2014

Published in Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2535838.2535846

zbMATH Keywords

monadcomputational effecteffect systemalgebrac operationlax monoidal functorparametric effect monad

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Categorical semantics of formal languages (18C50) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• Parameterised notions of computation
• Algebras for parameterised monads
• Unifying graded and parameterised monads
• The marriage of effects and monads
• The marriage of effects and monads

Cited in

(42)

• Unifying graded and parameterised monads
• Effectful semantics in 2-dimensional categories: premonoidal and Freyd bicategories
• Towards logical foundations for probabilistic computation
• When programs have to watch paint dry
• A fibrational tale of operational logical relations: pure, effectful and differential
• Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads
• Effect systems revisited -- control-flow algebra and semantics
• Resourceful program synthesis from graded linear types
• Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
• Divergences on monads for relational program logics
• Canonical Gradings of Monads
• Algebraic effects for extensible dynamic semantics
• Approximate relational Hoare logic for continuous random samplings
• A general semantic construction of dependent refinement type systems, categorically
• Graded Hoare logic and its categorical semantics
• Graded modal dependent type theory
• Algebras for parameterised monads
• Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
• Parameterised notions of computation
• The sequential semantics of producer effect systems
• Category-graded algebraic theories and effect handlers
• Affine Monads and Side-Effect-Freeness
• Flexibly graded monads and graded algebras
• Twists of graded algebras in monoidal categories
• Towards a formal theory of graded monads
• Data-flow analyses as effects and graded monads
• The marriage of effects and monads
• Graded algebraic theories
• The parametric continuation monad
• Comprehending Ringads
• Curry and Howard meet Borel
• Graded monads and behavioural equivalence games
• Deriving distributive laws for graded linear types
• Fault-tolerant functional reactive programming (extended version)
• A mixed linear and graded logic: proofs, terms, and models
• A type system with subtyping for WebAssembly's stack polymorphism
• From semantics to types: the case of the imperative \(\lambda\)-calculus
• Compositional game theory, compositionally
• On monadic parametricity of second-order functionals
• A compositional approach to parity games
• No value restriction is needed for algebraic effects and handlers
• Counting successes: effects and transformations for non-deterministic programs

This page was built for publication: Parametric effect monads and semantics of effect systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5408455)