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 F14A37F75C for ; Sat, 13 Sep 2014 16:48:24 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Jean-Christophe.Filliatre@lri.fr) identity=pra; client-ip=129.175.212.65; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Jean-Christophe.Filliatre@lri.fr"; x-sender="Jean-Christophe.Filliatre@lri.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Jean-Christophe.Filliatre@lri.fr) identity=mailfrom; client-ip=129.175.212.65; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Jean-Christophe.Filliatre@lri.fr"; x-sender="Jean-Christophe.Filliatre@lri.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mx2.u-psud.fr) identity=helo; client-ip=129.175.212.65; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Jean-Christophe.Filliatre@lri.fr"; x-sender="postmaster@mx2.u-psud.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqEBAP5XFFSBr9RBnGdsb2JhbABfg2CDC0jGIYhaFhABAQEBAQgLCQkUKoQWFw8BXxwCBSECEQJMDQgBAYg6DYoMjRGPNJVcgSyRIIFTAQSWBI5LkViDNAEBAQ X-IPAS-Result: AqEBAP5XFFSBr9RBnGdsb2JhbABfg2CDC0jGIYhaFhABAQEBAQgLCQkUKoQWFw8BXxwCBSECEQJMDQgBAYg6DYoMjRGPNJVcgSyRIIFTAQSWBI5LkViDNAEBAQ X-IronPort-AV: E=Sophos;i="5.04,518,1406584800"; d="scan'208";a="78886960" Received: from mx2.u-psud.fr ([129.175.212.65]) by mail3-smtp-sop.national.inria.fr with ESMTP; 13 Sep 2014 16:48:24 +0200 Received: from mx2.u-psud.fr (mx2 [127.0.0.1]) by localhost (MTA) with SMTP id 6802D302914; Sat, 13 Sep 2014 16:48:24 +0200 (CEST) Received: from ext.lri.fr (ext.lri.fr [129.175.15.4]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by mx2.u-psud.fr (MTA) with ESMTPS id 6A2483025B5; Sat, 13 Sep 2014 16:48:23 +0200 (CEST) Received: from [129.175.15.4] (ext.lri.fr [129.175.15.4]) by ext.lri.fr (Postfix) with ESMTP id 3209340C24; Sat, 13 Sep 2014 16:48:23 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at lri.fr Received: from [129.175.15.4] (ext.lri.fr [129.175.15.4]) by localhost (ext.lri.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 2VvxGnCszgHS; Sat, 13 Sep 2014 16:48:23 +0200 (CEST) Received: from [129.175.15.4] (ext.lri.fr [129.175.15.4]) (using TLSv1 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) by ext.lri.fr (Postfix) with ESMTPSA id E5FE640B06; Sat, 13 Sep 2014 16:48:22 +0200 (CEST) Message-ID: <54145936.40301@lri.fr> Date: Sat, 13 Sep 2014 16:48:22 +0200 From: Jean-Christophe Filliatre User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.5.0 MIME-Version: 1.0 To: Ocaml Mailing List Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Subject: [Caml-list] parution d'un nouveau livre sur OCaml (Note to non French-speaking users: this is an announcement for a new book on OCaml, in French. We plan to translate it to English soon.) Chers utilisateurs d'OCaml, Nous sommes heureux d'annoncer la sortie d'un nouveau livre sur OCaml : Apprendre à programmer avec OCaml Algorithmes et structures de données Éditions Eyrolles, 2014. Ce livre s'accompagne d'un site web qui propose en téléchargement libre les programmes contenus dans le livre : http://programmer-avec-ocaml.lri.fr/ Ceci inclut un certain nombre de structures de données et d'algorithmes, qui peuvent être directement réutilisés ou facilement adaptés. Ces programmes sont distribués sous la même licence que ceux de la bibliothèque standard d'OCaml. Amusez-vous bien, -- Sylvain Conchon et Jean-Christophe Filliâtre