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]

Possibly Related Publications

The following publications are possibly variants of this publication:

Similar Publications

The following publications are related publications by (some of) the same authors, but are not direct variants of this publication.