http://www.cl.cam.ac.uk/Teaching/Lectures/founds-fp/Founds-FP.ps.gz//Some excellent notes from when Professor Larry Paulson lectured the Foundations of Functional Programming course. Some bits are no longer in the course but in general I find it is presented in a more helpful manner than Arthur Norman's notes.