Combining syntactic and semantic bidirectionalization (2010)

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