Robert__Gluck
Binding-time analysis applied to mathematical algorithms
Efficient multi-level generating extensions for program specialization
Fast binding-time analysis for multi-level specialization
Generating transformers for deforestation and supercompilation
Partial Deduction and Driving are Equivalent