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.

• Type: Conference
• Year: 2007
• Where: IFL
• Authors: Neil Mitchell, Colin Runciman
• Keywords: Functional Language, IFL 2007, Lazy Evaluation, Natural Language Processing, Succinct Programs