Linguistic foundations for bidirectional transformations: invited tutorial.

Benjamin C. Pierce

Browse the full PODS paper archive.