On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation.

Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde

Browse the full PEPM paper archive.