Types for path correctness of XML queries

Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani. Types for path correctness of XML queries. In Chris Okasaki, Kathleen Fisher, editors, Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004. pages 126-137, ACM, 2004. [doi]

Bibliographies