Kristoffer Høgsbro Rose

According to our database, Kristoffer Høgsbro Rose authored at least 20 papers between 1992 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

On Explicit Substitution with Names.

Kristoffer Høgsbro Rose, Roel Bloo, Frédéric Lang

J. Autom. Reason., 2012

A Data Flow Language for Hybrid Query and Programming Languages.

Kristoffer Høgsbro Rose, Lionel Villard, Naoto Sato

Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

2011

CRSX - Combinatory Reduction Systems with Extensions.

Kristoffer H. Rose

Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

2010

Higher-order Rewriting for Executable Compiler Specifications

Kristoffer H. Rose

Proceedings of the Proceedings 5th International Workshop on Higher-Order Rewriting, 2010

2009

Converting between Combinatory Reduction Systems and Big Step Semantics.

Hanne Gottliebsen, Kristoffer H. Rose

Proceedings of the Semantics and Algebraic Specification, 2009

2008

Commutativity analysis for XML updates.

Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon

ACM Trans. Database Syst., 2008

XML query optimization in the presence of side effects.

Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2008

2007

Commutativity Analysis in XML Update Languages.

Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon

Proceedings of the Database Theory, 2007

A Better Semantics for XQuery with Side-Effects.

Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon

Proceedings of the Database Programming Languages, 11th International Symposium, 2007

2006

Virtual XML: A toolbox and use cases for the XML world view.

Kristoffer Høgsbro Rose, Susan Malaika, Robert J. Schloss

IBM Syst. J., 2006

2005

Compiling XSLT 2.0 into XQuery 1.0.

Achille Fokoue, Kristoffer Høgsbro Rose, Jérôme Siméon, Lionel Villard

Proceedings of the 14th international conference on World Wide Web, 2005

Compiling XPath for streaming access policy.

Pierre Genevès, Kristoffer Høgsbro Rose

Proceedings of the 2005 ACM Symposium on Document Engineering, 2005

2004

The XML world view.

Kristoffer Høgsbro Rose

Proceedings of the 2004 ACM Symposium on Document Engineering, 2004

2001

Normalization by evaluation with typed abstract syntax.

Olivier Danvy, Morten Rhiger, Kristoffer Høgsbro Rose

J. Funct. Program., 2001

Java access protection through typing.

Eva Rose, Kristoffer Høgsbro Rose

Concurr. Comput. Pract. Exp., 2001

1998

Higher-Order Rewriting and Partial Evaluation.

Olivier Danvy, Kristoffer Høgsbro Rose

Proceedings of the Rewriting Techniques and Applications, 9th International Conference, 1998

1996

Combinatory Reduction Systems with Explicit Substitution that Preserve Strong Nomalisation.

Roel Bloo, Kristoffer Høgsbro Rose

Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996

Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution.

Zine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer Høgsbro Rose

Proceedings of the Programming Languages: Implementations, 1996

Operational reduction models for functional programming languages.

Kristoffer Høgsbro Rose

PhD thesis, 1996

1992

Explicit Cyclic Substitutions.

Kristoffer Høgsbro Rose

Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992