BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Rose:Kristoffer_H=oslash=gsbro

Contributed to:

FLOPS 20122012
SIGMOD 20082008
DocEng 20052005
DocEng 20042004
RTA 19981998
PLILP 19961996
RTA 19961996

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.