Department of Computing Science, University of Glasgow
André L.M. Santos
Departmento de Informática, Universidade Federal de Pernambuco
Many compilers do some of their work by means of correctness-preserving, and hopefully performance-improving, program transformations. The Glasgow Haskell Compiler (GHC) takes this idea of "compilation by transformation" as its war-cry, trying to express as much as possible of the compilation process in the form of program transformations.