Bidirectionalization transformation based on automatic derivation of view complement functions (2007)

by K Matsuda, Z Hu, K Nakano, M Hamana, M Takeichi
Venue:In ICFP ’07: Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming