Some notes on lattices (pdf).
Chapter 2 (pdf).
Control Flow Analysis (pdf).
Functional language evaluation (pdf).
Algorithms (pdf).