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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.