A Simple and Efficient Step Towards Type-Correct XSLT Transformations

Markus Lepper, Baltasar Trancón-y-Widemann. A Simple and Efficient Step Towards Type-Correct XSLT Transformations. In Maribel Fernández, editor, 26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland. Volume 36 of LIPIcs, pages 350-364, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]

@inproceedings{LepperW15,
  title = {A Simple and Efficient Step Towards Type-Correct XSLT Transformations},
  author = {Markus Lepper and Baltasar Trancón-y-Widemann},
  year = {2015},
  doi = {10.4230/LIPIcs.RTA.2015.350},
  url = {http://dx.doi.org/10.4230/LIPIcs.RTA.2015.350},
  researchr = {https://researchr.org/publication/LepperW15},
  cites = {0},
  citedby = {0},
  pages = {350-364},
  booktitle = {26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland},
  editor = {Maribel Fernández},
  volume = {36},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-939897-85-9},
}