SpecConstr: http://research.microsoft.com/en-us/um/people/simonpj/papers/spec-constr/index.htm
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.htm 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 RULES: http://research.microsoft.com/en-us/um/people/simonpj/papers/rules.htm | -----Original Message----- | From: ghc-devs [mailto:[email protected]] On Behalf Of Jan | Stolarek | Sent: 15 July 2014 10:11 | To: [email protected] | 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 | [email protected] | http://www.haskell.org/mailman/listinfo/ghc-devs _______________________________________________ ghc-devs mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-devs
