OCaml, Language syntax, and Proof Systems
jon at ffconsultancy.com
Sat Jan 24 01:36:58 CET 2009
Xah Lee wrote:
> ok, i've been reading these Ocaml tutorials in the past few days:
> intro to ocaml, from official site
> “Objective CAML Tutorial”, most cited tutorial on the web
> The best one, is the one is
> “Introduction to Caml”
> by Dr Scott Smith of Johns Hopkins U, apparently a lecture note.
> I found it by as one of the top result from google search.
You may also appreciate the freely-available first chapter of my book OCaml
And the freely-available first chapter of The OCaml Journal:
I also recommend Jason Hickey's book which, I believe, is due to be
published by Cambridge University Press soon:
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
More information about the Python-list