From: Gabriel Scherer <gabriel.scherer@gmail.com>
To: "Jean-Michel Pouré - GOOZE" <jmpoure@gooze.eu>
Cc: caml users <caml-list@inria.fr>
Subject: Re: [Caml-list] CAML resources for mathematicians / French agrégation
Date: Mon, 13 Oct 2014 17:11:18 +0200 [thread overview]
Message-ID: <CAPFanBGovre-QdDVw=uMdSru2bnqmjj9y2ZGmKntMhLMRCGCOA@mail.gmail.com> (raw)
In-Reply-To: <1413210757.16678.5.camel@gooze.eu>
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âtre's "Apprendre à
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é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
On Mon, Oct 13, 2014 at 4:32 PM, Jean-Michel Pouré - GOOZE
<jmpoure@gooze.eu> 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égation
> 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îtrise/classe préparatoire: any book, exercice or software
> 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
next prev parent reply other threads:[~2014-10-13 15:12 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-10-13 14:32 Jean-Michel Pouré - GOOZE
2014-10-13 15:11 ` Gabriel Scherer [this message]
2014-10-13 15:33 ` Jean-Michel Pouré - GOOZE
2014-10-13 18:05 ` Ashish Agarwal
2014-10-13 15:51 ` Daniel Bünzli
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='CAPFanBGovre-QdDVw=uMdSru2bnqmjj9y2ZGmKntMhLMRCGCOA@mail.gmail.com' \
--to=gabriel.scherer@gmail.com \
--cc=caml-list@inria.fr \
--cc=jmpoure@gooze.eu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox