references for compiler optimizations for functional languages

Hi everyone, I'm interested in collecting good references for compiler optimizations for functional languages (lazy, strict, statically-typed or not). Any suggestions? Thanks in advance, Mike

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/usa... http://research.microsoft.com/en-us/um/people/simonpj/papers/comp-by-trans-s... http://research.microsoft.com/en-us/um/people/simonpj/papers/andy-thesis.ps.... http://research.microsoft.com/en-us/um/people/simonpj/papers/deforestation-s... 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

Awesome! Thanks, Don! Mike 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/usa...
http://research.microsoft.com/en-us/um/people/simonpj/papers/comp-by-trans-s...
http://research.microsoft.com/en-us/um/people/simonpj/papers/andy-thesis.ps....
http://research.microsoft.com/en-us/um/people/simonpj/papers/deforestation-s...
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

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/usa...
http://research.microsoft.com/en-us/um/people/simonpj/papers/comp-by-trans-s...
http://research.microsoft.com/en-us/um/people/simonpj/papers/andy-thesis.ps....
http://research.microsoft.com/en-us/um/people/simonpj/papers/deforestation-s...
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.)

I'd like to add Urban Boquist's thesis to that list: http://www.cs.chalmers.se/~boquist/phd/index.html (I've added it to the wiki page as well). -chris On 1 mrt 2010, at 22:26, 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/usa...
http://research.microsoft.com/en-us/um/people/simonpj/papers/comp-by-trans-s...
http://research.microsoft.com/en-us/um/people/simonpj/papers/andy-thesis.ps....
http://research.microsoft.com/en-us/um/people/simonpj/papers/deforestation-s...
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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
participants (4)
-
Andrew Coppin
-
Chris Eidhof
-
Don Stewart
-
Michael Vanier