Notions of Bidirectional Computation and Entangled State Monads

DOI10.1007/978-3-319-19797-5_9zbMath1432.68068arXiv1505.02579OpenAlexW1729991231MaRDI QIDQ2941175

Faris Abou-Saleh, Perdita Stevens, Jeremy Gibbons, James Cheney, James McKinna

Publication date: 27 August 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1505.02579

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Reflections on Monadic Lenses ⋮ Notions of Bidirectional Computation and Entangled State Monads

Uses Software

• Haskell
• lens

Cites Work

• Unnamed Item
• Notions of computation and monads
• A generic complete dynamic logic for reasoning about purity and effects
• An order-based theory of updates for closed database views
• Combining effects: sum and tensor
• Handling Algebraic Effects
• Notions of Bidirectional Computation and Entangled State Monads
• Edit lenses
• Composing monads using coproducts
• The more legs the merrier: A new composition for symmetric (multi-)lenses
• Just do it
• Programming and reasoning with algebraic effects and dependent types
• Handlers in action
• Combinators for bi-directional tree transformations
• Compositional references for stateful functional programming
• Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
• Symmetric lenses

This page was built for publication: Notions of Bidirectional Computation and Entangled State Monads