Bidirectionalization for free (2009)

by J Voigtländer
Venue:In: POPL