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

-- Don