Bidirectionalization transformation based on automatic derivation of view complement functions

Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi. Bidirectionalization transformation based on automatic derivation of view complement functions. In Ralf Hinze, Norman Ramsey, editors, Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007. pages 47-58, ACM, 2007. [doi]

Authors

Kazutaka Matsuda

Identified as Kazutaka Matsuda

Zhenjiang Hu

Identified as Zhenjiang Hu

Keisuke Nakano

This author has not been identified. Look up 'Keisuke Nakano' in Google

Makoto Hamana

This author has not been identified. Look up 'Makoto Hamana' in Google

Masato Takeichi

This author has not been identified. Look up 'Masato Takeichi' in Google