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

by J N Foster, M Greenwald, J T Moore, B C Pierce, A Schmitt
Venue:In POPL