On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation. - Mads Sig Ager; Olivier Danvy; Henning Korsholm Rohde (ASIA-PEPM, 2002)

Fast partial evaluation of pattern matching in strings. - Mads Sig Ager; Olivier Danvy; Henning Korsholm Rohde (PEPM, 2003)

A Denotational Account of Untyped Normalization by Evaluation. - Andrzej Filinski; Henning Korsholm Rohde (FoSSaCS, 2004)

Denotational aspects of untyped normalization by evaluation. - Andrzej Filinski; Henning Korsholm Rohde (RAIRO Theor. Informatics Appl., 2005)

On obtaining the Boyer-Moore string-matching algorithm by partial evaluation. - Olivier Danvy; Henning Korsholm Rohde (Inf. Process. Lett., 2006)