Destabilizers and independence of XML updates, Proceedings of the VLDB Endowment, pp.906-917, 2010. ,
DOI : 10.14778/1920841.1920956
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
Semantic subtyping with an SMT solver, Proceedings of the 15th international conference on functional programming (ICFP '10), pp.105-116, 2010. ,
XQuery 1.0: An XML query language, W3C recommendation, 2007. ,
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
XML path language (XPath) version 1.0, W3C recommendation, 1999. ,
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. ,
XQuery 3.0 requirements, W3C working draft, 2010. ,
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
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. ,
XDuce, ACM Transactions on Internet Technology, vol.3, issue.2, pp.117-148, 2003. ,
DOI : 10.1145/767193.767195
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
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
Types, abstraction and parametric polymorphism, IFIP Congress, pp.513-523, 1983. ,
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
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