Im, Hyeonseung; Genevès, Pierre; Gesbert, Nils; Layaïda, Nabil Backward type inference for XML queries. (English) Zbl 1440.68056 Theor. Comput. Sci. 823, 69-99 (2020). MSC: 68P15 68N18 68P05 PDFBibTeX XMLCite \textit{H. Im} et al., Theor. Comput. Sci. 823, 69--99 (2020; Zbl 1440.68056) Full Text: DOI HAL
Chen, Haiming; Chen, Lei Inclusion test algorithms for one-unambiguous regular expressions. (English) Zbl 1161.68519 Fitzgerald, John S. (ed.) et al., Theoretical aspects of computing – ICTAC 2008. 5th international colloquium, Istanbul, Turkey, September 1–3, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85761-7/pbk). Lecture Notes in Computer Science 5160, 96-110 (2008). MSC: 68Q45 PDFBibTeX XMLCite \textit{H. Chen} and \textit{L. Chen}, Lect. Notes Comput. Sci. 5160, 96--110 (2008; Zbl 1161.68519) Full Text: DOI
Frisch, Alain OCaml + XDuce. (English) Zbl 1321.68152 Proceedings of the 11th ACM SIGPLAN international conference on functional programming, ICFP ’06, Portland, OR, USA, September 18–20, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-309-3). ACM SIGPLAN Notices 41, No. 9, 192-200 (2006). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{A. Frisch}, in: Proceedings of the 11th ACM SIGPLAN international conference on functional programming, ICFP '06, Portland, OR, USA, September 18--20, 2006. New York, NY: Association for Computing Machinery (ACM). 192--200 (2006; Zbl 1321.68152) Full Text: DOI