Reflections on Monadic Lenses

DOI10.1007/978-3-319-30936-1_1zbMath1343.68053arXiv1601.02484OpenAlexW3122561139MaRDI QIDQ3188278

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

Publication date: 17 August 2016

Published in: A List of Successes That Can Change the World (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Related Items (1)

The Safari of Update Structures: Visiting the Lens and Quantum Enclosures

Cites Work

• Unnamed Item
• Notions of Bidirectional Computation and Entangled State Monads
• Comprehending monads
• Three Complementary Approaches to Bidirectional Programming
• Symmetric lenses

This page was built for publication: Reflections on Monadic Lenses