Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins

Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang. Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins. Journal of Functional Programming, 23(5):515-551, 2013. [doi]

Authors

Janis Voigtländer

Identified as Janis Voigtländer
(University of Bonn
)

Zhenjiang Hu

Identified as Zhenjiang Hu
(National Institute of Informatics, Tokyo
)

Kazutaka Matsuda

Identified as Kazutaka Matsuda

Meng Wang

Identified as Meng Wang