Binding-time Improvement and Fold/unfold Transformation

@inproceedings{Runciman2008BindingtimeIA,
  title={Binding-time Improvement and Fold/unfold Transformation},
  author={Colin Runciman},
  year={2008}
}
Binding-time improvement (BTI) is an important preliminary stage in partial evaluation. Some BTI rules can be automated, but the state of the art is that many improvements are still made \by hand" using an ordinary text editor. Mechanically assisted fold/unfold transformation could provide a more systematic framework for BTI.