Makoto Hamana, and Masato Takeichi. Bidirectionalization transformation based on automatic derivation of view complement functions (2007)

by Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano
Venue:In ACM SIGPLAN International Conference on Functional Programming (ICFP