| 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