[Haskell-cafe] Re: idea for avoiding temporaries

[Simon Peyton-Jones]

| Perhaps A section of the wiki is in order that lists the most recent
| paper that describes various parts of what is actually used in the
| production ghc.
|
| perhaps something like
|
| type checker : boxy types and impredicativity paper + Wobbly type GADT
| inference paper
| optimizer/simplifier : secrets of haskell inliner paper
| runtime: eval/apply vs push-enter paper
| garbage collector: non-stop collection for haskell paper
| fundep implementation: ?
| concurrency: STM papers + original concurrency paper

If you put up a draft, I will check it for veracity.  (You might want a section for things that are described in the literature, but are *not* in the HEAD.  Notably:
        - Wansbrough's usage analysis
        - Ennals's optimistic evaluation

Simon