Purely Functional Data Structures (PDF, 162 pp.), by Chris Okasaki. (via @newsycombinator)