M.: Combining syntactic and semantic bidirectionalization (2010)

by J Voigtländer, Z Hu, K Matsuda, Wang
Venue:In: ICFP