| 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
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
