Also: http://www.cs.caltech.edu/courses/cs134/cs134b/book.pdf http://www.cs.caltech.edu/courses/cs134/cs134b/book.pdf http://caml.inria.fr/pub/docs/oreilly-bo

Also: http://www.cs.caltech.edu/courses/cs134/cs134b/book.pdf http://www.cs.caltech.edu/courses/cs134/cs134b/book.pdf http://caml.inria.fr/pub/docs/oreilly-book/ http://caml.inria.fr/pub/docs/oreilly-book/ And yes, OCaml is excellent for that sort of thing. Pattern matching in particular is a HUGE advantage.