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

J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt

Browse the full POPL paper archive.