| 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