Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens. Notions of Bidirectional Computation and Entangled State Monads. In Ralf Hinze, Janis Voigtländer, editors, Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings. Volume 9129 of Lecture Notes in Computer Science, pages 187-214, Springer, 2015. [doi]
Abstract is missing.