From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 1844B7EFCD for ; Mon, 13 Oct 2014 17:12:01 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.218.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.218.46 as permitted sender) identity=mailfrom; client-ip=209.85.218.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-oi0-f46.google.com) identity=helo; client-ip=209.85.218.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-oi0-f46.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlwBANnqO1TRVdoum2dsb2JhbABbg2FYBIMCt1eQSodNAoEVBxYBEQEBAQEBBgsLCRQuhAMBAQQSER0BGxILAQMMBgULDQICCR0CAiIBEQEFAQoSBhMICgIOiAcBAxENo0JuizCBcoMQiFAKGScDCmeGAgEBAQEBAQQBAQEBARcBBQ6BHo5mMweCd4FUAQSFFQWNZoM7hxCBapI1GCmFKjsvAQGCSAEBAQ X-IPAS-Result: AlwBANnqO1TRVdoum2dsb2JhbABbg2FYBIMCt1eQSodNAoEVBxYBEQEBAQEBBgsLCRQuhAMBAQQSER0BGxILAQMMBgULDQICCR0CAiIBEQEFAQoSBhMICgIOiAcBAxENo0JuizCBcoMQiFAKGScDCmeGAgEBAQEBAQQBAQEBARcBBQ6BHo5mMweCd4FUAQSFFQWNZoM7hxCBapI1GCmFKjsvAQGCSAEBAQ X-IronPort-AV: E=Sophos;i="5.04,711,1406584800"; d="scan'208";a="83081362" Received: from mail-oi0-f46.google.com ([209.85.218.46]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 13 Oct 2014 17:12:00 +0200 Received: by mail-oi0-f46.google.com with SMTP id h136so13349976oig.33 for ; Mon, 13 Oct 2014 08:11:59 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type:content-transfer-encoding; bh=pEzwhiXF6x1QsRRqxznljaMMsd2K9fj9rLX0CM5VV+k=; b=wNKO9ixTGXcOKJRlFyvXR2R0T6Th9gYVfVzYz/1BS9vCipVELwsV314bv/2c6b4iPa jcAe3z7jcEwO4FK7Ny4xaBFWA4+BMPP8S2ZOovFhtrbAutu6TNAnI8wW1Luzyk22VcM1 jhknBlfMIHy1pKYmjSGxSetoKiv8fOxaoVXGvkJztIBflDdz3gxt8UzhstdoWZOeI/6u ebXOaVn1VgIVOKrwP7EVRInweUbMesdeksd+FpUPUM0jjXpuamuTHFfGmi11086Orwm3 LglAB1i+5Ns0Ek1ubv60i+ywk6/kBGx8j1b9JPfUfq2QgyrtOqzJHfu5PWOAK4SdN1jV dujQ== X-Received: by 10.60.97.137 with SMTP id ea9mr22251888oeb.12.1413213119145; Mon, 13 Oct 2014 08:11:59 -0700 (PDT) MIME-Version: 1.0 Received: by 10.76.105.196 with HTTP; Mon, 13 Oct 2014 08:11:18 -0700 (PDT) In-Reply-To: <1413210757.16678.5.camel@gooze.eu> References: <1413210757.16678.5.camel@gooze.eu> From: Gabriel Scherer Date: Mon, 13 Oct 2014 17:11:18 +0200 Message-ID: To: =?UTF-8?Q?Jean=2DMichel_Pour=C3=A9_=2D_GOOZE?= Cc: caml users Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] =?UTF-8?Q?CAML_resources_for_mathematicians_/_Fre?= =?UTF-8?Q?nch_agr=C3=A9gation?= There is a surprisingly-well-maintained list of book available at: http://caml.inria.fr/about/books.en.html 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=C3=A2tre's "Apprendre =C3= =A0 programmer avec OCaml", but I'm confident it is excellent -- and goes far deeper than its beginner-oriented description suggests. Among English-language books, I'm not sure which one would fit the bill of being math-oriented enough; maybe John Whitington's new book, "More OCaml: Algorithms, Methods, and Diversions". If you are also interested in programming language theory (but I'm afraid that's quite far from the agr=C3=A9gation), you may like Didier R=C3=A9my's online lecture notes, "Using, Understanding, and Unraveling the OCaml Language" http://caml.inria.fr/pub/docs/u3-ocaml/index.html On Mon, Oct 13, 2014 at 4:32 PM, Jean-Michel Pour=C3=A9 - GOOZE wrote: > Dear friends, > > First, I would like to congratulate the community and the INRIA for > their hard work around CAML > > I am a French student preparing for competitive examination (agr=C3=A9gat= ion > in Mathematics) alone (that's the trick) and I am looking for resources > around algorithm, automata, calculus and logic with examples in CAML. > > As some of you ARE mathematicians, I prefer to ask on the mailing list > whether you are aware of CALM resources for French > licence/ma=C3=AEtrise/classe pr=C3=A9paratoire: any book, exercice or sof= tware > that I could study in deep. > > It's a pity that I missed the CAML meeting in Paris in July, too bad, I > would have loved a discussion with you. So now let's go and play with > CAML and make it at the exam. > > Any information are welcome. > > Kind regards, > Kellogs > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs