Static Analysis and Code Optimizations in Glasgow Haskell Compiler
Advanced Functional Programming Profiling in GHC.
Advanced Functional Programming