Types for path correctness of XML queries.

Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani

Browse the full ICFP paper archive.