"SSA-based Compiler Design" [1] is awesome, heaps of interesting algorithms.

[1] http://ssabook.gforge.inria.fr/latest/book.pdf

For the Haskell section:

http://research.microsoft.com/en-us/um/people/simonpj/Papers...

Especially the first link, which is a book.

I have a lot:

https://gist.github.com/mamcx/e1743571b9a1ea163a7f9f07aa6a8a...