Publications of Kristoffer Høgsbro Rosehttps://researchr.org/profile/kristofferhgsbrorose/publicationsPublications of Kristoffer Høgsbro Rose28/03/2024 17:41Normalization by evaluation with typed abstract syntaxhttps://researchr.org/publication/DanvyRR01Olivier Danvy, Morten Rhiger, Kristoffer Høgsbro Rose. Normalization by evaluation with typed abstract syntax. Journal of Functional Programming, 11(6):673-680, 2001. https://researchr.org/publication/DanvyRR0120/08/2009 14:31Higher-Order Rewriting and Partial Evaluationhttps://researchr.org/publication/DanvyR98Olivier Danvy, Kristoffer Høgsbro Rose. Higher-Order Rewriting and Partial Evaluation. In Tobias Nipkow, editor, Rewriting Techniques and Applications, 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings. Volume 1379 of Lecture Notes in Computer Science, pages 286-301, Springer, 1998. [doi]https://researchr.org/publication/DanvyR9820/08/2009 14:31Compiling XSLT 2.0 into XQuery 1.0https://researchr.org/publication/FokoueRSV05Achille Fokoue, Kristoffer Høgsbro Rose, Jérôme Siméon, Lionel Villard. Compiling XSLT 2.0 into XQuery 1.0. In Allan Ellis, Tatsuya Hagino, editors, Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005. pages 682-691, ACM, 2005. [doi]https://researchr.org/publication/FokoueRSV0526/08/2009 5:39Virtual XML: A toolbox and use cases for the XML world viewhttps://researchr.org/publication/RoseMS06Kristoffer Høgsbro Rose, Susan Malaika, Robert J. Schloss. Virtual XML: A toolbox and use cases for the XML world view. IBM Systems Journal, 45(2):411-424, 2006. [doi]https://researchr.org/publication/RoseMS0626/08/2009 11:06Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitutionhttps://researchr.org/publication/BenaissaLR96Zine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer Høgsbro Rose. Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution. In Herbert Kuchen, S. Doaitse Swierstra, editors, Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP 96, Aachen, Germany, September 24-27, 1996, Proceedings. Volume 1140 of Lecture Notes in Computer Science, pages 393-407, Springer, 1996. https://researchr.org/publication/BenaissaLR9628/08/2009 20:29A Better Semantics for XQuery with Side-Effectshttps://researchr.org/publication/GhelliORS07Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon. A Better Semantics for XQuery with Side-Effects. In Marcelo Arenas, Michael I. Schwartzbach, editors, Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers. Volume 4797 of Lecture Notes in Computer Science, pages 81-96, Springer, 2007. [doi]https://researchr.org/publication/GhelliORS0728/08/2009 20:32Explicit Cyclic Substitutionshttps://researchr.org/publication/Rose92Kristoffer Høgsbro Rose. Explicit Cyclic Substitutions. In Michaël Rusinowitch, Jean-Luc Remy, editors, Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings. Volume 656 of Lecture Notes in Computer Science, pages 36-50, Springer, 1992. https://researchr.org/publication/Rose9228/08/2009 20:32Compiling XPath for streaming access policyhttps://researchr.org/publication/GenevesR05Pierre Genevès, Kristoffer Høgsbro Rose. Compiling XPath for streaming access policy. In Anthony Wiley, Peter R. King, editors, Proceedings of the 2005 ACM Symposium on Document Engineering, Bristol, UK, November 2-4, 2005. pages 52-54, ACM, 2005. [doi]https://researchr.org/publication/GenevesR0528/08/2009 20:32Commutativity analysis for XML updateshttps://researchr.org/publication/GhelliRS08Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon. Commutativity analysis for XML updates. ACM Trans. Database Syst., 33(4), 2008. [doi]https://researchr.org/publication/GhelliRS0828/08/2009 20:32Java access protection through typinghttps://researchr.org/publication/RoseR01Eva Rose, Kristoffer Høgsbro Rose. Java access protection through typing. Concurrency - Practice and Experience, 13(13):1125-1132, 2001. https://researchr.org/publication/RoseR0104/09/2009 23:53