Bidirectionalization transformation based on automatic derivation of view complement functions.

Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi

Browse the full ICFP paper archive.