CRSX-Combinatory Reduction Systems with Extensions
- Kristoffer H. Rose
- 2011
- RTA 2011
Publications
Date
Featured collections
Popular topics
9 results for Kristoffer H. Rose
XML query optimization in the presence of side effects
- Giorgio Ghelli
- Nicola Onose
- et al.
- 2008
- SIGMOD 2008
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
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
Virtual XML: A toolbox and use cases for the XML world view
- Kristoffer H. Rose
- Susan Malaika
- et al.
- 2006
- IBM Systems Journal
Java access protection through typing
- Eva Rose
- Kristoffer Høgsbro Rose
- 2001
- CCPE