From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jmpoure@gooze.eu>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 9D49C7EFCD
	for <caml-list@sympa.inria.fr>; Mon, 13 Oct 2014 17:33:43 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  jmpoure@gooze.eu) identity=pra; client-ip=91.121.202.220;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="jmpoure@gooze.eu";
  x-sender="jmpoure@gooze.eu"; x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  jmpoure@gooze.eu designates 91.121.202.220 as permitted
  sender) identity=mailfrom; client-ip=91.121.202.220;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="jmpoure@gooze.eu";
  x-sender="jmpoure@gooze.eu"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mx5.gooze.eu) identity=helo;
  client-ip=91.121.202.220;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="jmpoure@gooze.eu";
  x-sender="postmaster@mx5.gooze.eu";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ag0FAMjvO1Rbecrc/2dsb2JhbABbgw5TWIMGyCGHTQKBHRYBfYQDAQEDASMPAQ0BATgECwsaAiYCAh84BohJDAmucniFAgEFkAsBAQgBAQEBGAaBLI8ggneBVJIBhD+HEIFqlCeDeWoBAYJIAQEB
X-IPAS-Result: Ag0FAMjvO1Rbecrc/2dsb2JhbABbgw5TWIMGyCGHTQKBHRYBfYQDAQEDASMPAQ0BATgECwsaAiYCAh84BohJDAmucniFAgEFkAsBAQgBAQEBGAaBLI8ggneBVJIBhD+HEIFqlCeDeWoBAYJIAQEB
X-IronPort-AV: E=Sophos;i="5.04,711,1406584800"; 
   d="scan'208";a="100900082"
Received: from mx5.gooze.eu ([91.121.202.220])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 13 Oct 2014 17:33:43 +0200
Received: from mx5.gooze.eu (localhost.localdomain [127.0.0.1])
	by mx5.gooze.eu (Postfix) with ESMTP id 8B6CD60308
	for <caml-list@inria.fr>; Mon, 13 Oct 2014 17:33:42 +0200 (CEST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=gooze.eu; s=mail;
	t=1413214422; bh=6Fez3cmTyd9xGVcPzW9at4WHOrOZ+4Q8MiB4ZnAJd3o=;
	h=Subject:From:To:Date:In-Reply-To:References:From;
	b=Jt/yHSbTODby8kcju0loScScnG1QZtMwZZjJoKKw5CyhrCKfmRjS3RKKV1qzqggM9
	 vVLEnP0gMSUi2QW+M7ZFVIViaeiJZGcJsZQTmbYX0u8bS6whwXEq7RqFEWHLuNNbUf
	 4m6BdA7IDEwkFZ8NFFHBYB3bSCXzGQJI4QpK+pOQ=
Received: from sony-vaio (soy95-2-82-236-103-229.fbx.proxad.net [82.236.103.229])
	(using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits))
	(No client certificate requested)
	by mx5.gooze.eu (Postfix) with ESMTPSA id BBED6602BA
	for <caml-list@inria.fr>; Mon, 13 Oct 2014 17:33:39 +0200 (CEST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=gooze.eu; s=mail;
	t=1413214422; bh=6Fez3cmTyd9xGVcPzW9at4WHOrOZ+4Q8MiB4ZnAJd3o=;
	h=Subject:From:To:Date:In-Reply-To:References:From;
	b=Jt/yHSbTODby8kcju0loScScnG1QZtMwZZjJoKKw5CyhrCKfmRjS3RKKV1qzqggM9
	 vVLEnP0gMSUi2QW+M7ZFVIViaeiJZGcJsZQTmbYX0u8bS6whwXEq7RqFEWHLuNNbUf
	 4m6BdA7IDEwkFZ8NFFHBYB3bSCXzGQJI4QpK+pOQ=
Message-ID: <1413214415.16678.9.camel@gooze.eu>
From: Jean-Michel =?ISO-8859-1?Q?Pour=E9?= - GOOZE <jmpoure@gooze.eu>
To: caml users <caml-list@inria.fr>
Date: Mon, 13 Oct 2014 17:33:35 +0200
In-Reply-To: <CAPFanBGovre-QdDVw=uMdSru2bnqmjj9y2ZGmKntMhLMRCGCOA@mail.gmail.com>
References: <1413210757.16678.5.camel@gooze.eu>
	 <CAPFanBGovre-QdDVw=uMdSru2bnqmjj9y2ZGmKntMhLMRCGCOA@mail.gmail.com>
Content-Type: text/plain; charset="UTF-8"
X-Mailer: Evolution 3.12.5-1+b1 
Mime-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Virus-Scanned: ClamAV using ClamSMTP
Subject: Re: [Caml-list] =?ISO-8859-1?Q?CAML_resources_for_mathematicians_?=
 =?ISO-8859-1?Q?/_French_agr=E9gation?=

Dear Gabriel,

> There is a surprisingly-well-maintained list of book available at:
>   http://caml.inria.fr/about/books.en.html

Thanks for pointing out this page.

> The only book that (1) would be relevant to you and (2) I have
> experience with is "Nouveaux exercices d'algorithmique", by Michel
> Quercia, which I warmly recommend. I haven't had the luck to get my
> hands on Sylvain Conchon and Jean-Cristophe Filliâtre's "Apprendre à
> programmer avec OCaml", but I'm confident it is excellent -- and go
> es
> far deeper than its beginner-oriented description suggests.

I just purchased (1) and (2).

> If you are also interested in programming language theory (but I'm
> afraid that's quite far from the agrégation), you may like Didier
> Rémy's online lecture notes, "Using, Understanding, and Unraveling the
> OCaml Language"
> http://caml.inria.fr/pub/docs/u3-ocaml/index.html

Sure, I will have a deep look at it.

Kind regards and many thanks,
Kellogs