This tool allows you to experiment with the bidirectionalization methods described in the following papers:
- “Bidirectionalization transformation based on automatic derivation of view complement functions” (ICFP’07) by Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, and Masato Takeichi.
- “Bidirectionalization for free! (Pearl)” (POPL’09) by Janis Voigtländer
- “Combining Syntactic and Semantic Bidirectionalization” (ICFP’10) by Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, and Meng Wang
(For a stand-alone version on command line, which is also able to show intermediate steps in the transformations, see here. For the technique from POPL’09 alone, a separate web interface offering more features is also available.)