Benjamin C. Pierce
University of Pennsylvania
Combinators for bi-directional tree transformations: a linguistic approach to the view update problem
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages