Apprendre à programmer avec OCaml

Sylvain Conchon , Jean-Christophe Filliatre