In the paradigm of Compilation by Transformation many aspects of compilation are implemented as a series of simple ProgramTransformations on the source code or intermediate ...

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

Haskell is a general purpose lazy programming language. The language is a grateful subject of transformation. Program transformations play a prime role in GHC, the ...

Playing by the Rules: Rewriting as an Optimization Technique in GHC by SimonPeytonJones, AndrewTolmach and TonyHoare, In Proceedings of the 2001 Haskell Workshop ...

Homepage: http://research.microsoft.com/Users/simonpj/ GHC CompilationByTransformation CategoryPeople

Template Haskell Website Template Haskell at the Haskell Wiki Implementation Template Haskell is available in GHC 6.0 Publications Papers on Template-Haskell Template ...