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