A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches.

Giuseppe Castagna, Hyeonseung Im, Kim Nguyen, Vronique Benzaken

Browse the full ESOP paper archive.