Supercompilation by evaluation.

Maximilian C. Bolingbroke, Simon L. Peyton Jones

Browse the full HASKELL paper archive.