Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem (2007)

by J Nathan Foster, Michael B Greenwald, Jonathan T Moore, Benjamin C Pierce, Alan Schmitt
Venue:ACM Trans. Program. Lang. Syst