Benjamin C. Pierce. Foundations for Bidirectional Programming. In Richard F. Paige, editor, Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings. Volume 5563 of Lecture Notes in Computer Science, pages 1-3, Springer, 2009. [doi]
Abstract is missing.