OCaml
Objective Caml is a fast modern type-inferring functional programming language
Learning OCaml, for C, C++, Perl and Java programmers - (154 visits)
http://www.merjis.com/richj/computers/ocaml/tutorial/
The OCaml Language - "The programming tool of choice for discriminating hackers" (78 visits)
http://www.ocaml.org/