Compilers by Higher Order Rewriting of Terms Publications



2012

On explicit substitution with names
K.H. Rose, R. Bloo, F. Lang
Journal of Automated Reasoning, 1--26, Springer, 2012


2009

Converting between combinatory reduction systems and big step semantics
H Gottliebsen, K Rose
Semantics and algebraic specification, 297--314, Springer, 2009


2007



2001

Normalization by evaluation with typed abstract syntax
O Danvy, M Rhiger, K H Rose
Journal of Functional Programming 11(06), 673--680, Cambridge Univ Press, 2001


2000

Stylesheet validation
P Audebaud, K Rose
Technical Report, 2000


1998

Type-directed partial evaluation in Haskell
K Rose
Preliminary Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation, number NS-98-1 in BRICS Notes

Higher-order rewriting and partial evaluation
O Danvy, K H Rose
1998 - Springer, Springer


1997



1996

Explicit substitution: tutorial \& survey
K H Rose
1996 - brics.dk, Computer Science Department

Combinatory reduction systems with explicit substitution that preserve strong normalisation
R Bloo, K H Rose
Lecture Notes in Computer Science1103, 169--183, Springer, 1996


1995