N. Alon, T. Milo, F. Neven, D. Suciu, and V. Vianu, XML with data values, Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '01, pp.138-149, 2001.
DOI : 10.1145/375551.375570

R. M. Amadio and L. Cardelli, Subtyping recursive types, ACM Transactions on Programming Languages and Systems, vol.15, issue.4, pp.575-631, 1993.
DOI : 10.1145/155183.155231
URL : https://hal.archives-ouvertes.fr/inria-00070035

M. Benedikt and H. Vu, Higher-order functions and structured datatypes, WebDB, pp.43-48, 2012.

V. Benzaken, G. Castagna, and A. Frisch, CDuce: An XML-centric general-purpose language, ICFP, pp.51-63, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00152619

G. Castagna, K. Nguyn, Z. Xu, and P. Abate, Polymorphic functions with settheoretic types. Part 2: Local type inference and type reconstruction, POPL, pp.289-302, 2015.
URL : https://hal.archives-ouvertes.fr/hal-00907166

G. Castagna, K. Nguyn, Z. Xu, H. Im, S. Lenglet et al., Polymorphic functions with set-theoretic types, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, pp.5-17, 2014.
DOI : 10.1145/2535838.2535840
URL : https://hal.archives-ouvertes.fr/hal-00907166

G. Castagna and Z. Xu, Set-theoretic foundation of parametric polymorphism and subtyping, ICFP, pp.94-106, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00618839

J. Engelfriet and H. Vogler, Macro tree transducers, Journal of Computer and System Sciences, vol.31, issue.1, pp.71-146, 1985.
DOI : 10.1016/0022-0000(85)90066-2

A. Frisch, Théorie, conception et réalisation d'un langage adapté à XML, 2004.

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

V. Gapeyev, F. Garillot, and B. C. Pierce, Statically typed document transformation: An Xtatic experience, PLAN-X, 2006.

V. Gapeyev and B. C. Pierce, Paths into patterns, 2004.

P. Genevès, N. Gesbert, and N. Laya¨?dalaya¨?da, Xquery and static typing: Tackling the problem of backward axes, 2014.

P. Genevès and N. Laya¨?dalaya¨?da, Eliminating dead-code from XQuery programs, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, 2010.
DOI : 10.1145/1810295.1810363

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

H. Hosoya and B. C. Pierce, Regular expression pattern matching for XML, Journal of Functional Programming, vol.13, issue.6, pp.961-1004, 2003.
DOI : 10.1017/S0956796802004410

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

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

S. Maneth, A. Berlea, T. Perst, and H. Seidl, XML type checking with macro tree transducers, Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '05, 2005.
DOI : 10.1145/1065167.1065203