Combinators for bi-directional tree transformations: A linguistic approach to the view update problem (2005)

by J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt
Venue:In ACM SIGPLAN–SIGACT Symposium on Principles of Programming Languages (POPL