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

by J N Foster, M B Greenwald, J T Moore, B C Pierce, A Schmitt
Venue:In ACM SIGPLAN–SIGACT Symposium on Principles of Programming Languages (POPL