User-Extensible Simplification - Type-Based Optimizer Generators.

Sibylle Schupp, Douglas P. Gregor, David R. Musser, Shin-Ming Liu

Browse the full CC paper archive.