Core-to-core transformations: current state-of-the-art?

[Jan Stolarek]

Hi devs,

I'm curious about the current state of core-to-core transformations inside GHC. I know about 
following papers that cover this subject:

1. "Compilation by Transformation in Non-Strict Functional Languages", a PhD dissertation by 
Santos (I assume this summarizes earlier papers by Santos and SPJ).
2. "A transformation-based optimiser for Haskell", paper by SPJ and Santos.
3. "Let-floating: moving bindings to give faster programs", paper by SPJ, Partain and Santos.
4. "Modular, Higher-Order Cardinality Analysis in Theory and Practice", paper by Sergey, 
Vytiniotis and SPJ.

Is there any other work that I should be aware of? Are there transformations implemented in GHC 
that were not described in any paper?

Janek

PS. I'm aware of the wiki pages that list the GHC papers.