Reading material
Pages 17-27
Additional material
Russell's paradox
The Standard ML Basis Library