James McKinna. Bidirectional Transformations with Deltas: A Dependently Typed Approach (Talk Proposal). In Anthony Anjorin, Jeremy Gibbons, editors, Proceedings of the 5th International Workshop on Bidirectional Transformations, Bx 2016, co-located with The European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 8, 2016. Volume 1571 of CEUR Workshop Proceedings, pages 14, CEUR-WS.org, 2016. [doi]
Abstract is missing.