Mads Sig Ager Olivier Danvy Henning Korsholm Rohde Fast partial evaluation of pattern matching in strings. 3-9 2003 conf/pepm/2003 PEPM http://doi.acm.org/10.1145/777388.777390 db/conf/pepm/pepm2003.html#AgerDR03