SpecConstr: http://research.microsoft.com/en-us/um/people/simonpj/papers/spec-constr/ind... CPR: http://research.microsoft.com/en-us/um/people/simonpj/papers/cpr/index.htm Inliner: http://research.microsoft.com/en-us/um/people/simonpj/papers/inlining/index.... Short cut deforestation: http://research.microsoft.com/en-us/um/people/simonpj/papers/andy-thesis.ps.... Unboxed values: http://research.microsoft.com/en-us/um/people/simonpj/papers/unboxed-values.... RULES: http://research.microsoft.com/en-us/um/people/simonpj/papers/rules.htm | -----Original Message----- | From: ghc-devs [mailto:ghc-devs-bounces@haskell.org] On Behalf Of Jan | Stolarek | Sent: 15 July 2014 10:11 | To: ghc-devs@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 | Santos. | 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 | paper? | | Janek | | PS. I'm aware of the wiki pages that list the GHC papers. | _______________________________________________ | ghc-devs mailing list | ghc-devs@haskell.org | http://www.haskell.org/mailman/listinfo/ghc-devs