Update monads: cointerpreting directed containers

DOI10.4230/LIPICS.TYPES.2013.1MaRDI QIDQ2968407zbMATH OpenOpenAlexFDO

Authors Danel Ahman, Tarmo Uustalu

Publication date 13 March 2017

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2014/4623/pdf/p001-01-ahman.pdf/

zbMATH Keywords

directed containersdistributive lawsmonadsmonoid actions

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• When is a container a comonad?
• When is a container a comonad?
• Directed containers as categories
• Partiality and Container Monads
• Container combinatorics: monads and lax monoidal functors

Cited in

(7)

• Stateful runners of effectful computations
• Coalgebraic update lenses
• The coinductive resumption monad
• Context Update for Lambdas and Vectors
• The costructure–cosemantics adjunction for comodels for computational effects
• A quantitative approach to global state composition
• Comodule representations of second-order functionals

This page was built for publication: Update monads: cointerpreting directed containers

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