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

algebrac operationcomputational effecteffect systemlax monoidal functormonadparametric 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

(46)

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

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)