A Supercompiler for Core Haskell

Haskell is a functional language, with features such as higher order functions and lazy evaluation, which allow succinct programs. These high-level features present many challenges for optimising compilers. We report practical experiments using novel variants of supercompilation , with special attention to let bindings and the generalisation technique.