Danvy O, Rohde HK. On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation. BRICS [Internet]. 11. april 2005 [henvist 1. september 2024];12(14). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/21880