The algorithm of generalisation in the supercompiler (1988)

by Valentin F Turchin
Venue:In Workshop on Partial Evaluation and Mixed Computations