Core-to-core transformations: current state-of-the-art?
Simon Peyton Jones
simonpj at microsoft.com
Tue Jul 15 12:15:52 UTC 2014
Short cut deforestation: http://research.microsoft.com/en-us/um/people/simonpj/papers/andy-thesis.ps.gz
Unboxed values: http://research.microsoft.com/en-us/um/people/simonpj/papers/unboxed-values.ps.Z
| -----Original Message-----
| From: ghc-devs [mailto:ghc-devs-bounces at haskell.org] On Behalf Of Jan
| Sent: 15 July 2014 10:11
| To: ghc-devs at haskell.org
| Subject: Core-to-core transformations: current state-of-the-art?
| Hi devs,
| I'm curious about the current state of core-to-core transformations
| inside GHC. I know about following papers that cover this subject:
| 1. "Compilation by Transformation in Non-Strict Functional Languages",
| a PhD dissertation by Santos (I assume this summarizes earlier papers
| by Santos and SPJ).
| 2. "A transformation-based optimiser for Haskell", paper by SPJ and
| 3. "Let-floating: moving bindings to give faster programs", paper by
| SPJ, Partain and Santos.
| 4. "Modular, Higher-Order Cardinality Analysis in Theory and Practice",
| paper by Sergey, Vytiniotis and SPJ.
| Is there any other work that I should be aware of? Are there
| transformations implemented in GHC that were not described in any
| PS. I'm aware of the wiki pages that list the GHC papers.
| ghc-devs mailing list
| ghc-devs at haskell.org
More information about the ghc-devs