Reasoning about laziness
High-Performance Haskell
A Scalable I/O Manager for GHC
Faster persistent data structures through hashing