Kristoffer Høgsbro Rose

17 papers A* 1A 1B 2Misc 1Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2012 Misc conf
A Data Flow Language for Hybrid Query and Programming Languages.
FLOPS
Kristoffer Høgsbro Rose, Lionel Villard, Naoto Sato
2012 J jnl
On Explicit Substitution with Names.
J. Autom. Reason.
Kristoffer Høgsbro Rose, Roel Bloo, Frédéric Lang
2008 J jnl
Commutativity analysis for XML updates.
ACM Trans. Database Syst.
Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon
2008 — conf
XML query optimization in the presence of side effects.
SIGMOD Conference
Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon
2007 — conf
A Better Semantics for XQuery with Side-Effects.
DBPL
Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon
2007 A conf
Commutativity Analysis in XML Update Languages.
ICDT
Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon
2006 J jnl
Virtual XML: A toolbox and use cases for the XML world view.
IBM Syst. J.
Kristoffer Høgsbro Rose, Susan Malaika, Robert J. Schloss
2005 B conf
Compiling XPath for streaming access policy.
ACM Symposium on Document Engineering
Pierre Genevès, Kristoffer Høgsbro Rose
2005 A* conf
Compiling XSLT 2.0 into XQuery 1.0.
WWW
Achille Fokoue, Kristoffer Høgsbro Rose, Jérôme Siméon, Lionel Villard
2004 B conf
The XML world view.
ACM Symposium on Document Engineering
Kristoffer Høgsbro Rose
2001 J jnl
Java access protection through typing.
Concurr. Comput. Pract. Exp.
Eva Rose, Kristoffer Høgsbro Rose
2001 J jnl
Normalization by evaluation with typed abstract syntax.
J. Funct. Program.
Olivier Danvy, Morten Rhiger, Kristoffer Høgsbro Rose
1998 — conf
Higher-Order Rewriting and Partial Evaluation.
RTA
Olivier Danvy, Kristoffer Høgsbro Rose
1996 — conf
Combinatory Reduction Systems with Explicit Substitution that Preserve Strong Nomalisation.
RTA
Roel Bloo, Kristoffer Høgsbro Rose
1996 — conf
Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution.
PLILP
Zine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer Høgsbro Rose
1996 — —
Operational reduction models for functional programming languages.
Kristoffer Høgsbro Rose
1992 — conf
Explicit Cyclic Substitutions.
CTRS
Kristoffer Høgsbro Rose