A. Alimarine, S. Smetsers, A. Van-weelden, M. Van-eekelen, and R. Plasmeijer, There and back again, Proceedings of the 2005 ACM SIGPLAN workshop on Haskell , Haskell '05, pp.86-97, 2005.
DOI : 10.1145/1088348.1088357

F. Bancilhon and N. Spyratos, Update semantics of relational views, ACM Transactions on Database Systems, vol.6, issue.4, pp.557-575, 1981.
DOI : 10.1145/319628.319634

N. Benton, Embedded interpreters, Journal of Functional Programming, vol.15, issue.4, pp.503-542, 2005.
DOI : 10.1017/S0956796804005398

J. Berstel, D. Perrin, and C. Reutenauer, Codes and Automata Manuscript available from http, 2005.

A. Bohannon, J. A. Vaughan, and B. C. Pierce, Relational lenses, Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '06
DOI : 10.1145/1142351.1142399

A. Bohannon, J. N. Foster, B. C. Pierce, A. Pilkiewicz, and A. Schmitt, Boomerang: Resourceful lenses for string data, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00496456

C. Brabrand, A. Møller, and M. I. Schwartzbach, Dual syntax for XML languages, Information Systems, 2005.

A. Janusz and . Brzozowski, Derivatives of regular expressions, Journal of the ACM, vol.11, issue.4, pp.481-494, 1964.

P. Buneman, S. Khanna, and W. Tan, Why and Where: A Characterization of Data Provenance, International Conference on Database Theory (ICDT), pp.316-330, 1973.
DOI : 10.1007/3-540-44503-X_20

Y. Cui and J. Widom, Lineage tracing for general data warehouse transformations, The VLDB Journal The International Journal on Very Large Data Bases, vol.12, issue.1, pp.41-58, 2003.
DOI : 10.1007/s00778-002-0083-8

R. Ennals and D. Gay, Multi-language Synchronization, European Symposium on Programming, pp.475-489, 2007.
DOI : 10.1007/978-3-540-71316-6_32
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.8811

K. Fisher and R. Gruber, PADS: a domain-specific language for processing ad hoc data, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.295-304, 2005.

A. Pierce and . Schmitt, Exploiting schemas in data synchronization, Journal of Computer and System Sciences, vol.73, issue.4, pp.669-689, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00483199

J. , N. Foster, M. B. Greenwald, J. T. Moore, B. C. Pierce et al., Combinators for bi-directional tree transformations: A linguistic approach to the view update problem, Extended abstract in Principles of Programming Languages (POPL), p.17, 2005.

Z. Hu, S. Mu, and M. Takeichi, A programmable editor for developing structured documents based on bi-directional transformations, Partial Evaluation and Program Manipulation (PEPM), pp.178-189, 2004.

S. Kawanaka and H. Hosoya, bixid: a bidirectional transformation language for XML, ACM SIGPLAN International Conference on Functional Programming (ICFP), pp.201-214, 2006.

A. J. Kennedy, FUNCTIONAL PEARL Pickler combinators, Journal of Functional Programming, vol.14, issue.6, pp.727-739, 2004.
DOI : 10.1017/S0956796804005209

L. Meertens, Designing constraint maintainers for user interaction, 1998.

S. Mu, Z. Hu, and M. Takeichi, An Algebraic Approach to Bi-directional Updating, ASIAN Symposium on Programming Languages and Systems (APLAS), pp.2-20, 2004.
DOI : 10.1007/978-3-540-30477-7_2

C. Benjamin and . Pierce, Harmony: A synchronization framework for heterogeneous tree-structured data, 2006.

M. O. Rabin and D. Scott, Finite Automata and Their Decision Problems, IBM Journal of Research and Development, vol.3, issue.2, pp.114-125, 1959.
DOI : 10.1147/rd.32.0114
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.88.4472

N. Ramsey, Embedding an interpreted language using higher-order functions and types, ACM SIGPLAN Workshop on Interpreters, Virtual Machines and Emulators (IVME), pp.6-14, 2003.

P. Stevens, Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions, International Conference on Model Driven Engineering Languages and Systems (MoDELS), pp.1-15, 2007.
DOI : 10.1007/978-3-540-75209-7_1

N. Tabuchi, E. Sumii, and A. Yonezawa, Regular Expression Types for Strings in a Text Processing Language, Workshop on Types in Programming (TIP), pp.95-113, 2002.
DOI : 10.1016/S1571-0661(04)80781-3