- Book "Principles of Program Analysis": slides
- Experiencing static analysis: PAG/WWW
- Ocaml references
- Developing Applications With Objective Caml: a comprehensive book. Chapter 2 is a good introduction to functional programming in OCaml.
- Learning OCaml, for C, C++, Perl and Java programmers: some good examples here.
- OCaml standard library
- CIL