Introduction Step by Step Examples Graph reduction Laziness Strictness Algorithm complexity Data structures Parallelism