Unifying graded and parameterised monads

MaRDI QIDQ5020617zbMATH OpenFDO

Authors Dominic Orchard, Philip Wadler, Harley Eades III

Publication date 6 January 2022

Full work available at URL https://arxiv.org/abs/2001.10274, http://eptcs.web.cse.unsw.edu.au/paper.cgi?MSFP2020.2

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Parameterised notions of computation
• Parametric effect monads and semantics of effect systems
• Algebras for parameterised monads
• Towards a formal theory of graded monads
• Polymonadic programming

Cites work

• A core quantitative coeffect calculus
• A horizontal categorification of Gel'fand duality
• Algebras for parameterised monads
• Bounded Linear Types in a Resource Semiring
• Call-by-push-value: Decomposing call-by-value and call-by-name
• Categorical logic and type theory
• Coeffects: unified static analysis of context-dependence
• Combining effects and coeffects via grading
• Comprehending Ringads
• Effect systems revisited -- control-flow algebra and semantics
• Effects as sessions, sessions as effects
• Generic trace semantics and graded monads
• Graded monads and rings of polynomials
• Hoare type theory, polymorphism and separation
• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 6820296 (Why is no real title available?)
• scientific article; zbMATH DE number 3397722 (Why is no real title available?)
• Introduction to bicategories
• Non-commutative geometry, categories and quantum physics
• Notions of computation and monads
• Parameterised notions of computation
• Parametric effect monads and semantics of effect systems
• The marriage of effects and monads
• The sequential semantics of producer effect systems
• Towards a formal theory of graded monads

Cited in

(15)

• Generalized bounded linear logic and its categorical semantics
• Graded Hoare logic and its categorical semantics
• Towards a formal theory of graded monads
• Algebras for parameterised monads
• Monadic augment and generalised short cut fusion
• Combining effects and coeffects via grading
• Parameterised notions of computation
• Parametric effect monads and semantics of effect systems
• Monadic augment and generalised short cut fusion
• Flexibly graded monads and graded algebras
• Localisable monads
• Canonical Gradings of Monads
• Unifying graded and parameterised monads
• Category-graded algebraic theories and effect handlers
• On dynamical skew braces and skew bracoids

This page was built for publication: Unifying graded and parameterised monads

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