Backward type inference for XML queries

Hyeonseung Im, Pierre Genevès, Nils Gesbert, Nabil Layaïda. Backward type inference for XML queries. Theoretical Computer Science, 823:69-99, 2020. [doi]

Abstract

Abstract is missing.