Publications

9 results for Kristoffer H. Rose

CRSX-Combinatory Reduction Systems with Extensions
- - Kristoffer H. Rose
- 2011
- RTA 2011
On explicit substitution with names
- - Kristoffer H. Rose
  - Roel Bloo
  - et al.
- 2011
- Journal of Automated Reasoning
Commutativity analysis for XML updates
- - Giorgio Ghelli
  - Kristoffer Rose
  - et al.
- 2008
- ACM TODS
XML query optimization in the presence of side effects
- - Giorgio Ghelli
  - Nicola Onose
  - et al.
- 2008
- SIGMOD 2008
Virtual XML: A toolbox and use cases for the XML world view
- - Kristoffer H. Rose
  - Susan Malaika
  - et al.
- 2006
- IBM Systems Journal
Compiling XPath for streaming access policy
- - Pierre Genevès
  - Kristoffer Rose
- 2005
- DocEng 2005
The XML world view
- - Kristoffer H. Rose
- 2004
- DocEng 2004
Normalization by evaluation with typed abstract syntax
- - Olivier Danvy
  - Morten Rhiger
  - et al.
- 2001
- Journal of Functional Programming
Java access protection through typing
- - Eva Rose
  - Kristoffer Høgsbro Rose
- 2001
- CCPE