[Haskell-cafe] references for compiler optimizations for functional languages

[Andrew Coppin]

Don Stewart wrote:
> mvanier42:
>   
>> Hi everyone,
>>
>> I'm interested in collecting good references for compiler optimizations  
>> for functional languages (lazy, strict, statically-typed or not).  Any  
>> suggestions?
>>
>>     
>
> There's lots for what GHC implements on SimonPJ's site:
>
>     http://www.research.microsoft.com/~simonpj/Papers/inlining/index.htm
>
>     http://research.microsoft.com/en-us/um/people/simonpj/papers/cpr/index.htm
>
>     http://research.microsoft.com/en-us/um/people/simonpj/papers/usage-types/usage.htm
>
>     http://research.microsoft.com/en-us/um/people/simonpj/papers/comp-by-trans-scp.ps.gz
>
>     http://research.microsoft.com/en-us/um/people/simonpj/papers/andy-thesis.ps.gz
>
>     http://research.microsoft.com/en-us/um/people/simonpj/papers/deforestation-short-cut.ps.Z
>
>     http://www.cse.unsw.edu.au/~dons/papers/CLS07.html :)
>
> I've collected many of them here:
>
>     http://haskell.org/haskellwiki/Research_papers/Compilation#Compiler_Analyses
>   

Is there anywhere that documents the current Core language used by GHC? 
(I gather there are slight variations of it; I'm interested in what 
-ddump-simpl emits.)