Update Monads: Cointerpreting Directed Containers
From MaRDI portal
Publication:2968407
DOI10.4230/LIPIcs.TYPES.2013.1zbMath1359.68049OpenAlexW3022433793MaRDI QIDQ2968407
Publication date: 13 March 2017
Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2014/4623/pdf/p001-01-ahman.pdf/
Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Coalgebraic update lenses, The coinductive resumption monad, The costructure–cosemantics adjunction for comodels for computational effects, Stateful runners of effectful computations