Changes between Version 16 and Version 17 of Commentary/Compiler/Core2CorePipeline


Ignore:
Timestamp:
Jan 4, 2019 12:48:02 PM (11 months ago)
Author:
supersven
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/Core2CorePipeline

    v16 v17  
    9494== Further reading
    9595
    96  * [https://research.microsoft.com/en-us/um/people/simonpj/papers/santos-thesis.ps.gz 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).
     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).
    9797
    9898 * [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.