Changes between Version 16 and Version 17 of Commentary/Compiler/Core2CorePipeline
- Timestamp:
- Jan 4, 2019 12:48:02 PM (11 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Commentary/Compiler/Core2CorePipeline
v16 v17 94 94 == Further reading 95 95 96 * [https:// research.microsoft.com/en-us/um/people/simonpj/papers/santos-thesis.ps.gzCompilation by Transformation in Non-Strict Functional Languages] (a.k.a. the Santos' thesis): basic source of information about core-to-core transformations. Describes local transformations, full laziness, static argument transformation and many others. Note: Santos' description of inlining is superseeded by "Secrets of the GHC inliner" (see below).96 * [https://www.microsoft.com/en-us/research/publication/compilation-transformation-non-strict-functional-languages/ Compilation by Transformation in Non-Strict Functional Languages] (a.k.a. the Santos' thesis): basic source of information about core-to-core transformations. Describes local transformations, full laziness, static argument transformation and many others. Note: Santos' description of inlining is superseeded by "Secrets of the GHC inliner" (see below). 97 97 98 98 * [http://research.microsoft.com/pubs/67060/float.ps.gz Let-floating: moving bindings to give faster programs], Simon Peyton Jones, Will Partain, and Andre Santos, ICFP 1996. Describes the let floating and full laziness optimisation passes. It mostly repeats Santos' thesis.