GHC, the Glasgow Haskell Compiler, is implemented according to the CompilationByTransformation paradigm. * http://www.haskell.org/ghc/