Basic introduction to functional programming using OCaml
researchblogs.cs.bham.ac.uk