{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:21Z","timestamp":1772164041777,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,8,29]],"date-time":"2015-08-29T00:00:00Z","timestamp":1440806400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,8,29]]},"DOI":"10.1145\/2784731.2784746","type":"proceedings-article","created":{"date-parts":[[2015,8,26]],"date-time":"2015-08-26T12:48:13Z","timestamp":1440593293000},"page":"88-100","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["XQuery and static typing: tackling the problem of backward axes"],"prefix":"10.1145","author":[{"given":"Pierre","family":"Genev\u00e8s","sequence":"first","affiliation":[{"name":"University of Grenoble, France \/ CNRS, France \/ INRIA, France"}]},{"given":"Nils","family":"Gesbert","sequence":"additional","affiliation":[{"name":"University of Grenoble, France \/ CNRS, France \/ INRIA, France"}]}],"member":"320","published-online":{"date-parts":[[2015,8,29]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03793-1_1"},{"key":"e_1_3_2_1_2_1","unstructured":"doi: 10.1007\/ 978-3-642-03793-1_1.  doi: 10.1007\/ 978-3-642-03793-1_1."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.14778\/1920841.1920956"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"doi: 10.14778\/1920841.1920956.    10.14778\/1920841.1920956\ndoi: 10.14778\/1920841.1920956.","DOI":"10.14778\/1920841.1920956"},{"key":"e_1_3_2_1_5_1","first-page":"48","volume-title":"WebDB\u201912","author":"Benedikt M.","year":"2012","unstructured":"M. Benedikt and H. Vu . Higher-order functions and structured datatypes . In WebDB\u201912 , pages 43\u2013 48 , 2012 . URL http:\/\/db.disi. unitn.eu\/pages\/WebDB2012\/papers\/p13.pdf. M. Benedikt and H. Vu. Higher-order functions and structured datatypes. In WebDB\u201912, pages 43\u201348, 2012. URL http:\/\/db.disi. unitn.eu\/pages\/WebDB2012\/papers\/p13.pdf."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944711"},{"key":"e_1_3_2_1_7_1","first-page":"3650","volume-title":"Encyclopedia of Database Systems","author":"Benzaken V.","unstructured":"V. Benzaken , G. Castagna , H. Hosoya , B. C. Pierce , and S. Vansummeren . XML typechecking . In Encyclopedia of Database Systems , pages 3646\u2013 3650 . Springer, 2009. V. Benzaken, G. Castagna, H. Hosoya, B. C. Pierce, and S. Vansummeren. XML typechecking. In Encyclopedia of Database Systems, pages 3646\u20133650. Springer, 2009."},{"key":"e_1_3_2_1_8_1","volume-title":"XQuery 1.0: An XML Query Language","author":"Boag S.","year":"2010","unstructured":"S. Boag , D. Chamberlin , M. Fern\u00e1ndez , D. Florescu , J. Robie , and J. Sim\u00e9on . XQuery 1.0: An XML Query Language ( 2 nd ed.). W3C Recommendation , 2010 . http:\/\/www.w3.org\/TR\/xquery\/. S. Boag, D. Chamberlin, M. Fern\u00e1ndez, D. Florescu, J. Robie, and J. Sim\u00e9on. XQuery 1.0: An XML Query Language (2nd ed.). W3C Recommendation, 2010. http:\/\/www.w3.org\/TR\/xquery\/.","edition":"2"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1997.2688"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"doi: 10.1006\/inco.1997.2688.    10.1006\/inco.1997.2688\ndoi: 10.1006\/inco.1997.2688.","DOI":"10.1006\/inco.1997.2688"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040328"},{"key":"e_1_3_2_1_12_1","unstructured":"1040328.  1040328."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190236"},{"key":"e_1_3_2_1_14_1","first-page":"256","volume-title":"ESOP \u201915","author":"Castagna G.","year":"2015","unstructured":"G. Castagna , H. Im , K. Nguy\u02dc \u02c6 en, and V. Benzaken. A core calculus for XQuery 3.0 . In ESOP \u201915 , pages 232\u2013 256 , 2015 . doi: 10.1007\/ 978-3-662-46669-8_10. G. Castagna, H. Im, K. Nguy\u02dc \u02c6 en, and V. Benzaken. A core calculus for XQuery 3.0. In ESOP \u201915, pages 232\u2013256, 2015. doi: 10.1007\/ 978-3-662-46669-8_10."},{"key":"e_1_3_2_1_15_1","unstructured":"D. Chamberlin D. Florescu and J. Robie. XQuery Update Facility. W3C WD http:\/\/www.w3.org\/TR\/xqupdate\/ 2006.  D. Chamberlin D. Florescu and J. Robie. XQuery Update Facility. W3C WD http:\/\/www.w3.org\/TR\/xqupdate\/ 2006."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25379-9_21"},{"key":"e_1_3_2_1_17_1","unstructured":"doi: 10.1007\/ 978-3-642-25379-9_21.  doi: 10.1007\/ 978-3-642-25379-9_21."},{"key":"e_1_3_2_1_18_1","unstructured":"J. Clark and M. Murata. RELAX NG home page. http:\/\/relaxng. org\/ 2014.  J. Clark and M. Murata. RELAX NG home page. http:\/\/relaxng. org\/ 2014."},{"key":"e_1_3_2_1_19_1","volume-title":"XQuantum XML database server","author":"Cognetic Systems I.","year":"2014","unstructured":"I. Cognetic Systems . XQuantum XML database server , 2014 . http: \/\/www.cogneticsystems.com\/xquery\/xquery.html. I. Cognetic Systems. XQuantum XML database server, 2014. http: \/\/www.cogneticsystems.com\/xquery\/xquery.html."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2003476.2003490"},{"key":"e_1_3_2_1_21_1","unstructured":"2003490.  2003490."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1016850.1016869"},{"key":"e_1_3_2_1_23_1","volume-title":"W3C recommendation","author":"Draper D.","year":"2010","unstructured":"D. Draper , M. Dyck , P. Fankhauser , M. Fern\u00e1ndez , A. Malhotra , K. Rose , M. Rys , J. Sim\u00e9on , and P. Wadler . XQuery 1.0 and XPath 2.0 formal semantics , W3C recommendation , December 2010 . http: \/\/www.w3.org\/TR\/xquery-semantics\/. D. Draper, M. Dyck, P. Fankhauser, M. Fern\u00e1ndez, A. Malhotra, K. Rose, M. Rys, J. Sim\u00e9on, and P. Wadler. XQuery 1.0 and XPath 2.0 formal semantics, W3C recommendation, December 2010. http: \/\/www.w3.org\/TR\/xquery-semantics\/."},{"key":"e_1_3_2_1_24_1","volume-title":"W3C working draft","author":"Fankhauser P.","year":"2000","unstructured":"P. Fankhauser , M. Fern\u00e1ndez , A. Malhotra , M. Rys , J. Sim\u00e9on , and P. Wadler . The XML query algebra , W3C working draft , December 2000 . http:\/\/www.w3.org\/TR\/2000\/ WD-query-algebra- 20001204\/. P. Fankhauser, M. Fern\u00e1ndez, A. Malhotra, M. Rys, J. Sim\u00e9on, and P. Wadler. The XML query algebra, W3C working draft, December 2000. http:\/\/www.w3.org\/TR\/2000\/ WD-query-algebra-20001204\/."},{"key":"e_1_3_2_1_25_1","first-page":"300","volume-title":"ICDT\u201901","author":"Fern\u00e1ndez M. F.","year":"2001","unstructured":"M. F. Fern\u00e1ndez , J. Sim\u00e9on , and P. Wadler . A semi-monad for semistructured data . In ICDT\u201901 , pages 263\u2013 300 , 2001 . doi: 10.1007\/ 3-540-44503-X_18. M. F. Fern\u00e1ndez, J. Sim\u00e9on, and P. Wadler. A semi-monad for semistructured data. In ICDT\u201901, pages 263\u2013300, 2001. doi: 10.1007\/ 3-540-44503-X_18."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1376916.1376953"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250773"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2724712"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/767193.767195"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1053468.1053470"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.12.003"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002864"},{"key":"e_1_3_2_1_33_1","volume-title":"Document schema definition language \u2013 schematron. http: \/\/www.schematron.com","author":"IEC.","year":"2012","unstructured":"ISO\/ IEC. Document schema definition language \u2013 schematron. http: \/\/www.schematron.com , 2012 . ISO\/IEC. Document schema definition language \u2013 schematron. http: \/\/www.schematron.com, 2012."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.1271173"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1189769.1189771"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065167.1065203"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/11965893_18"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(02)00030-2"},{"key":"e_1_3_2_1_39_1","volume-title":"W3C recommendation","author":"Robie J.","year":"2011","unstructured":"J. Robie , D. Chamberlin , M. Dyck , D. Florescu , J. Melton , and J. Sim\u00e9on . XQuery update facility 1.0 , W3C recommendation , March 2011 . http:\/\/www.w3.org\/TR\/xquery-update-10\/. J. Robie, D. Chamberlin, M. Dyck, D. Florescu, J. Melton, and J. Sim\u00e9on. XQuery update facility 1.0, W3C recommendation, March 2011. http:\/\/www.w3.org\/TR\/xquery-update-10\/."},{"key":"e_1_3_2_1_40_1","volume-title":"July","author":"Robie J.","year":"2013","unstructured":"J. Robie , D. Chamberlin , M. Dyck , and J. Snelson . XQuery 3.0: An XML Query Language. W3C Last Call Working , July 2013 . http:\/\/www.w3.org\/TR\/xquery-30\/. J. Robie, D. Chamberlin, M. Dyck, and J. Snelson. XQuery 3.0: An XML Query Language. W3C Last Call Working, July 2013. http:\/\/www.w3.org\/TR\/xquery-30\/."},{"key":"e_1_3_2_1_41_1","volume-title":"Implementation of xquery 1.0","author":"Sim\u00e9on J.","year":"2008","unstructured":"J. Sim\u00e9on , M. Fern\u00e1ndez , Implementation of xquery 1.0 , 2008 . http:\/\/galax.sourceforge.net\/. J. Sim\u00e9on, M. Fern\u00e1ndez, et al. Implementation of xquery 1.0, 2008. http:\/\/galax.sourceforge.net\/."},{"key":"e_1_3_2_1_42_1","volume-title":"W3C recommendation","author":"C.","year":"2004","unstructured":"W3 C. Document object model (DOM) , W3C recommendation , 2004 . http:\/\/www.w3.org\/DOM\/. W3C. Document object model (DOM), W3C recommendation, 2004. http:\/\/www.w3.org\/DOM\/."},{"key":"e_1_3_2_1_43_1","unstructured":"W3C. Xml query (xquery) implementations 2014. http:\/\/www.w3. org\/XML\/Query\/#implementations.  W3C. Xml query (xquery) implementations 2014. http:\/\/www.w3. org\/XML\/Query\/#implementations."},{"key":"e_1_3_2_1_44_1","first-page":"212","volume-title":"Advanced Functional Programming","author":"Wadler P.","year":"2002","unstructured":"P. Wadler . XQuery : A typed functional language for querying XML . In Advanced Functional Programming , pages 188\u2013 212 , 2002 . P. Wadler. XQuery: A typed functional language for querying XML. In Advanced Functional Programming, pages 188\u2013212, 2002."}],"event":{"name":"ICFP'15: 20th ACM SIGPLAN International Conference on Functional Programming","location":"Vancouver BC Canada","acronym":"ICFP'15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2784731.2784746","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2784731.2784746","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:16:48Z","timestamp":1750213008000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2784731.2784746"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,29]]},"references-count":44,"alternative-id":["10.1145\/2784731.2784746","10.1145\/2784731"],"URL":"https:\/\/doi.org\/10.1145\/2784731.2784746","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2858949.2784746","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2015,8,29]]},"assertion":[{"value":"2015-08-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}