Publication Backward Type Inference for XML Queries Theoretical Computer Science. Volume 823, 2 July 2020, pp. 69-99 Authors Hyeonseung Im Pierre Genevès Nils Gesbert Nabil Layaïda Tags programming-languages data-systems PDF DOI
