, XQuery 1.0: An XML Query Language, 2010.
Regular expression types for XML, ACM Trans. Program. Lang. Syst, vol.27, issue.1, pp.46-90, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00009271
, , 2010.
XML Path Language (XPath) Version 1.0, W3C Recommendation, 1999. ,
XML Path Language (XPath) 2.0, second edition, W3C Recommendation, 2010. ,
, XML Path Language (XPath) 3.0, W3C Recommendation, 2014.
XQuery 3.0: An XML Query Language, W3C Recommendation, 2014. ,
Precision and complexity of XQuery type inference, Proceedings of the 13th International ACM SIGPLAN Symposium on Principles and Practices of Declarative Programming, pp.89-100, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00626217
Towards static type checking for XSLT, ACM Symposium on Document Engineering, pp.18-27, 2001. ,
Typechecking for XML transformers, J. Comput. Syst. Sci, vol.66, issue.1, pp.30-32, 2003. ,
Macro forest transducers, Inf. Process. Lett, vol.89, issue.3, pp.141-149, 2004. ,
XML type checking with macro tree transducers, Proceedings of the Twenty-Fourth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS '05, pp.283-294, 2005. ,
XML type checking using high-level tree transducer, Proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS '06, pp.81-96, 2006. ,
Towards practical typechecking for macro tree transducers, Proceedings of the 11th International Conference on Database Programming Languages, DBPL'07, pp.246-260, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00126895
Macro tree transducers, J. Comput. Syst. Sci, vol.31, issue.1, pp.90066-90068, 1985. ,
The time complexity of typechecking tree-walking tree transducers, Acta Inform, vol.46, issue.2, pp.139-154, 2009. ,
A core calculus for XQuery 3.0: combining navigational and pattern matching approaches, Proceedings of the 24th European Symposium on Programming, pp.232-256, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01104872
The zipper, J. Funct. Program, vol.7, issue.5, pp.549-554, 1997. ,
XQuery and static typing: tackling the problem of backward axes, Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, pp.88-100, 2015. ,
Efficient static analysis of XML paths and types, Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '07, pp.342-351, 2007. ,
Exact XML type checking in polynomial time, Proceedings of the 11th International Conference on Database Theory, ICDT'07, pp.254-268, 2006. ,
Higher-order multi-parameter tree transducers and recursion schemes for program verification, Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '10, pp.495-508, 2010. ,
XML with data values: typechecking revisited, J. Comput. Syst. Sci, vol.66, issue.4, pp.32-33, 2003. ,
XDuce: a statically typed XML processing language, ACM Trans. Internet Technol, vol.3, issue.2, pp.117-148, 2003. ,
Taxonomy of XML schema languages using formal language theory, ACM Trans. Internet Technol, vol.5, issue.4, pp.660-704, 2005. ,
Subtyping recursive types, ACM Trans. Program. Lang. Syst, vol.15, issue.4, pp.575-631, 1993. ,
URL : https://hal.archives-ouvertes.fr/inria-00070035
One-unambiguous regular languages, Inf. Comput, vol.140, issue.2, pp.229-253, 1998. ,
Efficiently deciding ?-calculus with converse over finite trees, ACM Trans. Comput. Log, vol.16, issue.2, p.16, 2015. ,
A simple algorithm and proof for type inference, Fundam. Inform, vol.10, pp.115-122, 1987. ,
Simplifying subtyping constraints: a theory, Inf. Comput, vol.170, issue.2, pp.153-183, 2001. ,
Semantic subtyping with an SMT solver, J. Funct. Program, vol.22, issue.1, pp.31-105, 2012. ,
Semantic subtyping: dealing set-theoretically with function, union, intersection, and negation types, J. ACM, vol.55, issue.4, p.19, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00336120
, Combinatorics of Compositions and Words, 2009.
CDuce: an XML-centric general-purpose language, Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP '03, pp.51-63, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-00152619
The design space of type checkers for XML transformation languages, Proceedings of the 10th International Conference on Database Theory, ICDT '05, pp.17-36, 2005. ,
, Encyclopedia of Database Systems, pp.3646-3650, 2009.
, IEEE 30th International Conference on Data Engineering, ICDE '14, pp.952-963, 2014.
Translations on a context free grammar, Inf. Control, vol.19, issue.5, pp.90706-90712, 1971. ,
, XML-Based Data Management and Multimedia Engineering -EDBT, pp.109-127, 2002.
Forward node-selecting queries over trees, ACM Trans. Database Syst, vol.32, issue.1, 2007. ,
Static validation of XSL transformations, ACM Trans. Program. Lang. Syst, vol.29, issue.4, 2007. ,
XSL Transformations (XSLT) Version 1.0, W3C Recommendation, 1999. ,
Optimizing XML querying using type-based document projection, ACM Trans. Database Syst, vol.38, issue.1, p.4, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00798049
Semantics, types and effects for XML updates, Proceedings of the 12th International Symposium on Database Programming Languages, DBPL '09, pp.1-17, 2009. ,
XQuery Update Facility 1.0, W3C Recommendation, 2011. ,
Destabilizers and independence of XML updates, Proc. VLDB Endow. 3 (1-2), pp.906-917, 2010. ,
MONA Version 1.4 User Manual, BRICS, 2001. ,
Deciding XPath containment with MSO, Data Knowl. Eng, vol.63, issue.1, pp.108-136, 2007. ,
Tree acceptors and some of their applications, J. Comput. Syst. Sci, vol.4, issue.5, pp.80041-80042, 1970. ,
Model-checking higher-order functions, Proceedings of the 11th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP '09, pp.25-36, 2009. ,
, Proceedings of the 15th International Workshop on the Web and Databases, pp.43-48, 2012.
Parametric polymorphism and semantic subtyping: the logical connection, Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming, pp.107-116, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00585686