Travelled to:1 × Canada
1 × Germany
1 × United Kingdom
2 × Japan
2 × USA
Collaborated with:P.Genevès ∅ O.Danvy R.Bloo L.Villard N.Sato Z.Benaissa P.Lescanne G.Ghelli N.Onose J.Siméon
Talks about:substitut (2) explicit (2) languag (2) reduct (2) queri (2) xml (2) combinatori (1) strategi (1) program (1) preserv (1)
Person: Kristoffer Høgsbro Rose
DBLP: Rose:Kristoffer_H=oslash=gsbro
Contributed to:
2012
2008
20052004
1998
19961996Wrote 7 papers:
- FLOPS-2012-RoseVS #data flow #hybrid #programming language #query
- A Data Flow Language for Hybrid Query and Programming Languages (KHR, LV, NS), pp. 228–242.
- SIGMOD-2008-GhelliORS #optimisation #query #xml
- XML query optimization in the presence of side effects (GG, NO, KHR, JS), pp. 339–352.
- DocEng-2005-GenevesR #compilation #policy #streaming #xpath
- Compiling XPath for streaming access policy (PG, KHR), pp. 52–54.
- DocEng-2004-Rose #perspective #xml
- The XML world view (KHR), p. 34.
- RTA-1998-DanvyR #higher-order #partial evaluation
- Higher-Order Rewriting and Partial Evaluation (OD, KHR), pp. 286–301.
- PLILP-1996-BenaissaLR #modelling #recursion #reduction #using
- Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution (ZEAB, PL, KHR), pp. 393–407.
- RTA-1996-BlooR #combinator #reduction
- Combinatory Reduction Systems with Explicit Substitution that Preserve Strong Nomalisation (RB, KHR), pp. 169–183.