M. Benedikt, W. Fan, and F. Geerts, XPath satisfiability in the presence of DTDs, PODS '05, pp.25-36, 2005.

V. Benzaken, G. Castagna, and A. Frisch, CDuce: An XML-centric general-purpose language, ICFP '03: Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, pp.51-63, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00152619

D. Xml, designing for evolution, SIGMOD '05, pp.948-952

G. Castagna and K. Nguyen, Typed iterators for XML, ICFP, pp.15-26, 2008.
DOI : 10.1145/1411203.1411210

URL : https://hal.archives-ouvertes.fr/hal-00336119

J. Clark and S. Derose, XML path language (XPath) version 1.0, W3C recommendation, 1999.

D. Colazzo, G. Ghelli, P. Manghi, and C. Sartiani, Types for path correctness of XML queries, Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, pp.126-137, 2004.

D. Colazzo, G. Ghelli, P. Manghi, and C. Sartiani, Static analysis for path correctness of XML queries, Journal of Functional Programming, vol.16, issue.4&5, pp.621-661, 2006.
DOI : 10.1017/S0956796806005983

V. Gapeyev, F. Garillot, and B. C. Pierce, Statically typed document transformation: An Xtatic experience, PLAN-X 2006: Proceedings of the International Workshop on Programming Language Technologies for XML, volume NS-05-6 of BRICS Notes Series, pp.2-13, 2006.

P. Genevès, Logics for XML, 2006.

P. Genevès and N. Laya¨?dalaya¨?da, The XML reasoning solver project, 2009.

P. Genevès, N. Laya¨?dalaya¨?da, and A. Schmitt, Efficient static analysis of XML paths and types, PLDI '07, pp.342-351, 2007.

P. Genevès, N. Laya¨?dalaya¨?da, and A. Schmitt, Efficient static analysis of XML paths and types. Long version of [Genevès et al, 2007.

H. Hosoya and B. C. Pierce, XDuce, ACM Transactions on Internet Technology, vol.3, issue.2, pp.117-148, 2003.
DOI : 10.1145/767193.767195

H. Hosoya, J. Vouillon, and B. C. Pierce, Regular expression types for XML, ACM Transactions on Programming Languages and Systems, vol.27, issue.1, pp.46-90, 2005.
DOI : 10.1145/1053468.1053470

URL : https://hal.archives-ouvertes.fr/hal-00009271

A. Møller and M. I. Schwartzbach, The design space of type checkers for XML transformation languages, Proc. Tenth International Conference on Database Theory, ICDT '05, pp.17-36, 2005.

H. J. Moon, C. A. Curino, A. Deutsch, and C. Hou, Managing and querying transaction-time databases under schema evolution, VLDB '08, pp.882-895, 2008.
DOI : 10.14778/1453856.1453952

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.141.6398

M. M. Moro, S. Malaika, and L. Lim, Preserving XML queries during schema evolution, Proceedings of the 16th international conference on World Wide Web , WWW '07, pp.1341-1342
DOI : 10.1145/1242572.1242841

M. Murata, D. Lee, M. Mani, and K. Kawaguchi, Taxonomy of XML schema languages using formal language theory, ACM Transactions on Internet Technology, vol.5, issue.4
DOI : 10.1145/1111627.1111631

E. Pietriga, MathML content2presentation transformation, 2005.

H. Kristoffer and . Rose, The XML world view, Proceedings of the 2004 ACM symposium on Document engineering, pp.34-34, 2004.

E. Sedlar, Managing structure in bits & pieces, Proceedings of the 2005 ACM SIGMOD international conference on Management of data , SIGMOD '05, pp.818-821, 2005.
DOI : 10.1145/1066157.1066256

P. Wadler, Two semantics for XPath Internal Technical Note of the W3C XSL Working Group, 2000.

C. Yu and L. Popa, Semantic adaptation of schema mappings when schemas evolve, VLDB '05, pp.1006-1017, 2005.