Oege de Moor's publications on higher-order matching
- Mechanising fusion (FOP 2003)
- Higher-order matching for automatically applying fusion transformations (PADO 01)
- Higher-order matching for program transformation (TCS 2001)
- Higher-order matching for program transformation (FLOPS 1999)
- Generic program transformation (AFP 1999)