Varieties of effects

MaRDI QIDQ4738223zbMATH OpenFDO

Authors Carsten Führmann

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2303/23030144.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• Notions of computation determine monads
• Handling algebraic effects
• Handlers of Algebraic Effects
• Instances of computational effects: an algebraic perspective
• Programming with algebraic effects and handlers

Cited in

(14)

• HasCasl: integrated higher-order specification and program development
• On the call-by-value CPS transform and its semantics
• A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
• Effects as sessions, sessions as effects
• GS theories: a syntax for higher-order graphs
• A duality between exceptions and states
• Notions of computation determine monads
• scientific article; zbMATH DE number 2101955 (Why is no real title available?)
• Representable Markov categories and comparison of statistical experiments in categorical probability
• Probability monads with submonads of deterministic states
• Probabilistic programming with exact conditions
• Eager and delayed contract monitoring for call-by-value and call-by-name evaluation
• Effect magnitude: a different focus
• A generic complete dynamic logic for reasoning about purity and effects

This page was built for publication: Varieties of effects

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