Sciweavers

IFL
2007
Springer
146views Formal Methods» more  IFL 2007»
13 years 10 months ago
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...
Neil Mitchell, Colin Runciman