Entangled state monads

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

Research output: Contribution to journalConference articlepeer-review

1 Citation (Scopus)


We present a monadic treatment of symmetric state-based bidirectional transformations, and show how it arises naturally from the well-known asymmetric lens-based account. We introduce two presentations of a concept we dub the entangled state monad, and prove their equivalence. As a step towards a unifying account of bidirectionality in general, we exhibit existing classes of statebased approaches from the literature as instances of our new constructions. This extended abstract reports on work in progress.

Original languageEnglish
Pages (from-to)108-111
Number of pages4
JournalCEUR Workshop Proceedings
Publication statusPublished - 6 Mar 2014
Event2014 Joint Workshops on International Conference on Extending Database Technology and International Conference on Database Theory - Athens, Greece
Duration: 28 Mar 201428 Mar 2014

ASJC Scopus subject areas

  • Computer Science(all)


Dive into the research topics of 'Entangled state monads'. Together they form a unique fingerprint.

Cite this