S. Abiteboul, On Views and XML, Proceedings of the Eighteenth ACM Symposium on Principles of Database Systems, pp.1-9, 1999.

S. M. Abramov and R. Glück, The Universal Resolving Algorithm: Inverse Computation in a Functional Language, Lecture Notes in Computer Science, vol.1837, pp.187-212, 2000.
DOI : 10.1007/10722010_13

R. Alur and P. Madhusudan, Visibly pushdown languages, Proceedings of the thirty-sixth annual ACM symposium on Theory of computing , STOC '04, pp.202-211, 2004.
DOI : 10.1145/1007352.1007390

K. S. Backhouse, A Functional Semantics of Attribute Grammars, International Conference on Tools and Algorithms for Construction and Analysis of Systems, 2002.
DOI : 10.1007/3-540-46002-0_11

R. Carl-backhouse, R. L. Crole, and J. Gibbons, Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, Lecture Notes in Computer Science, vol.2297, 2000.
DOI : 10.1007/3-540-47797-7

J. Berstel and L. Boasson, XML Grammars, Proc. Mathematical Foundations of Computer Science, pp.182-191, 2000.
DOI : 10.1007/3-540-44612-5_14
URL : https://hal.archives-ouvertes.fr/hal-00619885

J. Berstel and L. Boasson, Balanced Grammars and Their Languages, Formal and Natural Computing : Essays Dedicated to Grzegorz Rozenberg, pp.135-150, 1997.
DOI : 10.1007/3-540-45711-9_1
URL : https://hal.archives-ouvertes.fr/hal-00620756

R. S. Bird, Introduction to Functional Programming using Haskell, 1998.

V. Braganholo, Updating relational databases through xml views. Thesis proposal -in preparation, 2002.

Y. Chen, T. Ling, and M. Lee, Designing Valid XML Views, 2002.
DOI : 10.1007/3-540-45816-6_41

K. Czarnecki and U. W. Eisenecker, Generative Programming, 2000.
DOI : 10.1007/3-540-36208-8_2

A. Davie, An Introduction to Functional Programming Systems using Haskell, 1992.

S. Dimitriev, Language Oriented Programming : The Next Paradigm

K. Doets and J. Van-eijck, The Haskell Road to Logic, Maths, and Programming, 2004.

J. Fokker, Functional parsers, First International School on Advanced Functional Programming, pp.1-23, 1995.
DOI : 10.1007/3-540-59451-5_1

M. Fokkinga, J. Jeuring, L. Meertens, and E. Meijer, A Translation from Attribute Grammars to Catamorphisms, The Squiggolist, vol.2, issue.1, pp.20-26, 1991.

G. Gibbons and O. De-moor, The Fun of Programming, 2002.
DOI : 10.1007/978-1-349-91518-7

T. Lindholm, A three-way merge for XML documents, Proceedings of the 2004 ACM symposium on Document engineering , DocEng '04, 2004.
DOI : 10.1145/1030397.1030399

P. Hudak, J. Peterson, and J. H. Fasel, A Gentle Introduction to Haskell 98, 1999.

P. Hudak, The Haskell School of Expression : Learning Functional Programming through Multimedia, 2000.

G. Huet, The Zipper, Journal of Functional Programming, vol.7, issue.5, pp.549-554, 1997.
DOI : 10.1017/S0956796897002864

G. Hutton and E. Meijer, Monadic parsing in Haskell, Journal of Functional Programming, vol.8, issue.4, pp.437-444, 1998.
DOI : 10.1017/S0956796898003050

T. Johnsson, Attribute grammars as a functional programming paradigm, Proc. of 3rd Int. Conf. on Functional Programming and Computer Architecture, FPCA'87, pp.154-173, 1987.
DOI : 10.1007/3-540-18317-5_10

E. Donald and . Knuth, A Characterization of Parenthesis Languages, Information and Control, vol.11, issue.3, pp.269-289, 1967.

E. Donald and . Knuth, Semantics of Context-Free Languages, Mathematical System Theory, pp.127-145, 1968.

W. Gerald and . Manger, Generic Algorithm for Merging SGML/XML-Instances, Proceedings of XML Europe, 2001.

S. Mu, A Calculational Approach to Program Inversion, 2003.

S. Mu and R. Bird, Theory and applications of inverting functions as folds, Science of Computer Programming, vol.51, issue.1-2, pp.87-116, 2003.
DOI : 10.1016/j.scico.2003.09.003

S. C. Mu, Z. Hu, and M. Takeichi, An Injective Language for Reversible Computation, Seventh International Conference on Mathematics of Program Construction, 2004.
DOI : 10.1007/978-3-540-27764-4_16

R. Mcnaughton, Parenthesis Grammars, Journal of the ACM, vol.14, issue.3, pp.490-500, 1967.
DOI : 10.1145/321406.321411

J. Paakki, Attribute grammar paradigms---a high-level methodology in language implementation, ACM Computing Surveys, vol.27, issue.2, pp.196-255, 1995.
DOI : 10.1145/210376.197409

C. Simonyi, The Death of Computer Languages, the Birth of Intentional Programming The future of Software, 1995.

V. Vene, Categorical Programming with Inductive and Coinductive Types, 2000.

E. Van-wyk, G. Oege-de-moor, I. Sittampalam, K. Sanabria-piretti, P. Backhouse et al., Intentional Programming : A Host of Language Features, 2001.