Combining syntactic and semantic bidirectionalization

14 years 17 days ago

Matsuda et al. [2007, ICFP] and Voigtl

Janis Voigtländer, Zhenjiang Hu, Kazutaka Mat

ICFP 2010 | Matsuda Et | Programming Languages | Standard Consistency Conditions | Update Propagation Function |

claim paper

Added	09 Nov 2010
Updated	09 Nov 2010
Type	Conference
Year	2010
Where	ICFP
Authors	Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang

Comments (0)