Algebras for parameterised monads

DOI10.1007/978-3-642-03741-2_2MaRDI QIDQ2888473zbMATH OpenOpenAlexFDO

Authors Robert Atkey

Publication date 1 June 2012

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://strathprints.strath.ac.uk/34484/

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Eilenberg-Moore and Kleisli constructions for monads (18C20) Categorical semantics of formal languages (18C50) Semantics in the theory of computing (68Q55)

Recommendations

• Parametric effect monads and semantics of effect systems
• Unifying graded and parameterised monads
• Parameterised notions of computation
• scientific article; zbMATH DE number 139984
• scientific article; zbMATH DE number 2068087

Cites work

• Computer Science Logic
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1950477 (Why is no real title available?)
• scientific article; zbMATH DE number 2087441 (Why is no real title available?)
• Modelling environments in call-by-value programming languages.
• Notions of computation and monads
• Parameterised notions of computation
• Programming Languages and Systems
• Reading, Writing and Relations
• Variations on algebra: Monadicity and generalisations of equational theories

Cited in

(13)

• The superextension monad and its algebras
• Algebras of Lawson monads.
• Algebraic presentation of semifree monads
• Dependent types and fibred computational effects
• Higher-order algebras and coalgebras from parameterized endofunctors
• Parameterised notions of computation
• scientific article; zbMATH DE number 139984 (Why is no real title available?)
• Unifying graded and parameterised monads
• A representation theorem for second-order functionals
• Parametric effect monads and semantics of effect systems
• Flexibly graded monads and graded algebras
• Duoidally enriched Freyd categories
• Category-graded algebraic theories and effect handlers

This page was built for publication: Algebras for parameterised monads

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