A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
XQuery and static typing: tackling the problem of backward axes
2015
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015
XQuery is a functional language dedicated to XML data querying and manipulation. As opposed to other W3C-standardized languages for XML (e.g. XSLT), it has been intended to feature strong static typing. Currently, however, some expressions of the language cannot be statically typed with any precision. We argue that this is due to a discrepancy between the semantics of the language and its type algebra: namely, the values of the language are (possibly inner) tree nodes, which may have siblings
doi:10.1145/2784731.2784746
dblp:conf/icfp/GenevesG15
fatcat:4qzqkas2njedndsvynbkgr2zte