Faris Abou-Saleh, James McKinna, Jeremy Gibbons. Coalgebraic Aspects of Bidirectional Computation. In Alcino Cunha, Ekkart Kindler, editors, Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, STAF 2015, L'Aquila, Italy, July 24, 2015. Volume 1396 of CEUR Workshop Proceedings, pages 16-30, CEUR-WS.org, 2015. [doi]
Abstract is missing.