@misc{indiciae72053cb2885b,
  title = {Notions of bidirectional computation and entangled state monads},
  author = {Faris Abou-Saleh and James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens},
  year = {2015},
  doi = {10.1007/978-3-319-19797-5\_9},
  url = {https://arxiv.org/abs/1505.02579},
  note = {Source identifier: 1505.02579}
}