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

Don Stewart dons at galois.com
Mon Mar 1 16:26:27 EST 2010


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


More information about the Haskell-Cafe mailing list