Tracing monadic computations and representing effects

MaRDI QIDQ5854730zbMATH OpenFDO

Authors Maciej Piróg, Jeremy Gibbons

Publication date 17 March 2021

Full work available at URL https://arxiv.org/abs/1202.2922, http://eptcs.web.cse.unsw.edu.au/paper.cgi?MSFP2012.8

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Modular Monad Transformers
• Monads in action
• Monads for behaviour
• scientific article; zbMATH DE number 2090722
• Monads for incremental computing

Cited in

(4)

• Monads for behaviour
• The coinductive resumption monad
• Interleaving data and effects
• Structured handling of scoped effects

This page was built for publication: Tracing monadic computations and representing effects

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