M. Benedikt and J. Cheney, Destabilizers and independence of XML updates, Proceedings of the VLDB Endowment, pp.906-917, 2010.
DOI : 10.14778/1920841.1920956

V. Benzaken, G. Castagna, and A. Frisch, CDuce: an XML-centric general-purpose language, Proceedings of the 8th international conference on functional programming (ICFP '03), pp.51-63, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00152619

G. M. Bierman, A. D. Gordon, C. Hri¸tcuhri¸tcu, and D. Langworthy, Semantic subtyping with an SMT solver, Proceedings of the 15th international conference on functional programming (ICFP '10), pp.105-116, 2010.

S. Boag, D. Chamberlin, M. F. Fernández, D. Florescu, J. Robie et al., XQuery 1.0: An XML query language, W3C recommendation, 2007.

G. Castagna and Z. Xu, Set-theoretic foundation of parametric polymorphism and subtyping, Proceedings of the 16th international conference on functional programming (ICFP '11), 2011.
URL : https://hal.archives-ouvertes.fr/hal-00618839

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

L. M. De-moura and N. Bjørner, Z3: An efficient SMT solver tools and algorithms for the construction and analysis of systems (TACAS '08), Proceedings of the 14th international conference on, pp.337-340, 2008.

D. Engovatov and J. Robie, XQuery 3.0 requirements, W3C working draft, 2010.

A. Frisch, G. Castagna, and V. Benzaken, Semantic subtyping, Journal of the ACM, vol.55, issue.4, pp.1-64, 2008.
DOI : 10.1145/1391289.1391293

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

P. Genevès, N. Layaïda, and A. Schmitt, Efficient static analysis of XML paths and types, Proceedings of the 28th conference on programming language design and implementation (PLDI '07), pp.342-351, 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

H. Hosoya, A. Frisch, and G. Castagna, Parametric polymorphism for XML, ACM Transactions on Programming Languages and Systems, vol.32, issue.1, pp.1-56, 2009.
DOI : 10.1145/1596527.1596529

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

J. C. Reynolds, Types, abstraction and parametric polymorphism, IFIP Congress, pp.513-523, 1983.

J. Vouillon, Polymorphic regular tree types and patterns, Proceedings of the 33rd symposium on principles of programming languages, pp.103-114, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00150748

P. Wadler, Theorems for free!, Proceedings of the fourth international conference on Functional programming languages and computer architecture , FPCA '89, pp.347-359, 1989.
DOI : 10.1145/99370.99404