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 A4E17820A1 for ; Fri, 6 Sep 2013 22:36:13 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of fabrissimo@gmail.com) identity=pra; client-ip=209.85.212.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="fabrissimo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of fabrissimo@gmail.com designates 209.85.212.46 as permitted sender) identity=mailfrom; client-ip=209.85.212.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="fabrissimo@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-vb0-f46.google.com) identity=helo; client-ip=209.85.212.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="postmaster@mail-vb0-f46.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtMDAII8KlLRVdQuk2dsb2JhbABbgzxFDIJjAb55AYEfCBYOAQEBAQcLCwkUBCSCawE5Aw0FEF0SAQUBIogDAw8MnSKDAI9VhCwnDYh1AQUMjyuEaQOXdY99GCmBYYJpOg X-IPAS-Result: AtMDAII8KlLRVdQuk2dsb2JhbABbgzxFDIJjAb55AYEfCBYOAQEBAQcLCwkUBCSCawE5Aw0FEF0SAQUBIogDAw8MnSKDAI9VhCwnDYh1AQUMjyuEaQOXdY99GCmBYYJpOg X-IronPort-AV: E=Sophos;i="4.90,857,1371074400"; d="scan'208";a="26005670" Received: from mail-vb0-f46.google.com ([209.85.212.46]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 06 Sep 2013 22:36:12 +0200 Received: by mail-vb0-f46.google.com with SMTP id p13so2503076vbe.5 for ; Fri, 06 Sep 2013 13:36:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:date:message-id:subject:from:to:content-type; bh=HpEhgLPKpOoiyOzhmFwOV4ZCTaxZmytkgwYTBH7s27k=; b=MQxZbNSOOKov2vNB0EvwjEFPz6S/x/xNkEwj5vbWHQ+9tq8Gir6z2bcWTg6e5MiKnl iwT0AJ6RbTkiM4I2zH5u1EDEOP5aOjOCobMoJNAuo9IwD0WwnID51UTwUNgQVsmaCvRl RYICr1qRx1WBArAH0D/l2OlJn0UZZAIRzOwRxqe196rzJoeWRd43GtoN1wox9qhSjdhZ 8r7uCLFgq7B2cqmHJe0/2KKZc6je2+czmTmKNcsGs9iXSyBJDDRt0ZkfJuEPjaiS5JfJ LTkAO2vAWHLrN8s5dsTdrzAe08ro6UHHCtZvcJzkF6ol41FP4JlRPE9oqEvrCkFkFFeS pcgg== MIME-Version: 1.0 X-Received: by 10.221.32.133 with SMTP id sk5mr2276584vcb.27.1378499771505; Fri, 06 Sep 2013 13:36:11 -0700 (PDT) Sender: fabrissimo@gmail.com Received: by 10.220.171.10 with HTTP; Fri, 6 Sep 2013 13:36:11 -0700 (PDT) Date: Fri, 6 Sep 2013 22:36:11 +0200 X-Google-Sender-Auth: FAWoaOk7nPgS3IN8V3pIlgneU3Q Message-ID: From: Fabrice Le Fessant To: Ocaml Mailing List Content-Type: text/plain; charset=ISO-8859-1 Subject: [Caml-list] OCamlPro Highlights, August 2013 Hi, Here is the link to OCamlPro's report on its activities in August 2013 on OCaml: http://www.ocamlpro.com/blog/2013/09/04/monthly-08.html --Fabrice -- Fabrice LE FESSANT Chercheur en Informatique INRIA Paris Rocquencourt -- OCamlPro Programming Languages and Distributed Systems