From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 963E97F736 for ; Thu, 17 Sep 2015 22:29:58 +0200 (CEST) IronPort-PHdr: 9a23:Ujl6hB+mY8SPyf9uRHKM819IXTAuvvDOBiVQ1KB91u8cTK2v8tzYMVDF4r011RmSDdmdsKsP0raI+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuStKU1J38jrzss7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cYk7sb+sVBSaT3ebgjBfwdVWx+cjMw5dbwtB/MBTeornUdX2Ea2loTW0mWpD/gWZKkiDb8tuN712G+PIWiSLkuWjC4749kTRbpjGEMMDtvozKfsdB5kK8O+EHpnBd42YOBJd7NOQ== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=marklrh@gmail.com; spf=Pass smtp.mailfrom=marklrh@gmail.com; spf=None smtp.helo=postmaster@mail-wi0-f171.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of marklrh@gmail.com) identity=pra; client-ip=209.85.212.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="marklrh@gmail.com"; x-sender="marklrh@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of marklrh@gmail.com designates 209.85.212.171 as permitted sender) identity=mailfrom; client-ip=209.85.212.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="marklrh@gmail.com"; x-sender="marklrh@gmail.com"; 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@mail-wi0-f171.google.com) identity=helo; client-ip=209.85.212.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="marklrh@gmail.com"; x-sender="postmaster@mail-wi0-f171.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CXAgDeIftVlKvUVdFdglaBIV0MqSUHAQYQSgIGKIJGhDyLWioBDYF7hXcCKIEeOBQBAQEBAQEBARABAQEBBwsLCR8wgh2BfggBAQEDARIuARsdAQMBCwYQBgMBAgEnByECEQEFAQsHAggZIoVQgiYBAwoIBQipXYEwPjGNMoJ5ihoKGScNVoQDAQEBAQEBBAEBAQEBAQEBAQEBEQEFDoYeglaCboJQF4IVEQYHgnIggRQFlVcKhRGGB4FughOGXopqhXM1gRcRDgEBgkaBfnABiikBAQU X-IPAS-Result: A0CXAgDeIftVlKvUVdFdglaBIV0MqSUHAQYQSgIGKIJGhDyLWioBDYF7hXcCKIEeOBQBAQEBAQEBARABAQEBBwsLCR8wgh2BfggBAQEDARIuARsdAQMBCwYQBgMBAgEnByECEQEFAQsHAggZIoVQgiYBAwoIBQipXYEwPjGNMoJ5ihoKGScNVoQDAQEBAQEBBAEBAQEBAQEBAQEBEQEFDoYeglaCboJQF4IVEQYHgnIggRQFlVcKhRGGB4FughOGXopqhXM1gRcRDgEBgkaBfnABiikBAQU X-IronPort-AV: E=Sophos;i="5.17,548,1437429600"; d="scan'208,217";a="178143426" Received: from mail-wi0-f171.google.com ([209.85.212.171]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 17 Sep 2015 22:29:58 +0200 Received: by wicfx3 with SMTP id fx3so39101393wic.1 for ; Thu, 17 Sep 2015 13:29:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:content-type:subject:date:references:cc:message-id :mime-version; bh=QFOonbv2//RyS+Rv7EzYg4iukinYPGKSU8lr6blWQEQ=; b=cTIMqwO644RK/KfPM5PrDLmJkFS4U7Mu4ha7PBj0sn5tGpk7/oCf+j/QDgWheH/NNR U1OBDlTsbmipR2U4BUeA6KluuGQ7o3/oybgCxkMVBv134Sl5AD4wroB4zw7uKZJGJzOA jxXNNunpHKZnJviAwYKqjlCxHmPCyy5BmRWn+neiVt+kIflAr40UVgFIwgUgKV+E38Ne GbGan6YrTC2QMr5/kRTyn2HeZEbMLgHpsedIc2T86O/DBrfyD+2ybokShJbK9EFslw6P wH4TholXbbtSDuR5PctwSRm3KS01gCIk/l5AFt/ngShjIh8DjzYhg3RnaXTRhafjXneG clxA== X-Received: by 10.194.190.75 with SMTP id go11mr2071189wjc.80.1442521797984; Thu, 17 Sep 2015 13:29:57 -0700 (PDT) Received: from sps209i59.wolfson.private.cam.ac.uk (global-1-110.nat.csx.cam.ac.uk. [131.111.184.110]) by smtp.gmail.com with ESMTPSA id ry1sm5181892wjb.24.2015.09.17.13.29.56 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Thu, 17 Sep 2015 13:29:57 -0700 (PDT) From: Runhang Li Content-Type: multipart/alternative; boundary="Apple-Mail=_0590B42E-5BBA-49FD-81FF-E30253E15909" Date: Thu, 17 Sep 2015 21:29:58 +0100 References: <5886ABC0-F7E2-4A11-8118-1237110D4CC3@gmail.com> Cc: Ocaml Mailing List Message-Id: <2F0D7B79-004E-4FAA-A741-3A1E2545E55C@gmail.com> Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2098\)) X-Mailer: Apple Mail (2.2098) Subject: [Caml-list] Fwd: OCaml 2015 talks --Apple-Mail=_0590B42E-5BBA-49FD-81FF-E30253E15909 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii > Begin forwarded message: >=20 > From: Runhang Li > Subject: Re: [Caml-list] OCaml 2015 talks > Date: September 17, 2015 at 9:29:20 PM GMT+1 > To: Yotam Barnoy >=20 > Hi, Yotam >=20 >> On Sep 17, 2015, at 9:21 PM, Yotam Barnoy > wrote: >>=20 >> BTW, was the compiler hacking session at Cambridge recorded? From what I= understand, the content this year was essentially a preview of OCaml 2015. >=20 >=20 > No, those talks before compiler hacking session are more like rehearsals.= =20 >=20 > The schedule is here [1]. >=20 > Some slides, papers, and artifacts about those talks can be easily found = online. >=20 > [1] : http://ocamllabs.github.io/compiler-hacking/2015/08/20/mini-worksho= p.html > Kindly, >=20 > Runhang >=20 >=20 Kindly, Runhang --Apple-Mail=_0590B42E-5BBA-49FD-81FF-E30253E15909 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii
=

Begin forwarded message:

From: Runhang Li &l= t;marklrh@gmail.com>=
Subject: Re: [Caml-list] OCaml 2015 talks
Date: September 17, 2015 at 9:29:20 PM GMT+1
To: Yotam Barnoy <yotambarnoy@gmail.com>

Hi, Yotam

On Sep 17, 2= 015, at 9:21 PM, Yotam Barnoy <yotambarnoy@gmail.com> wrote:

BTW, was the compiler hacking session a= t Cambridge recorded? From what I understand, the content this year was ess= entially a preview of OCaml 2015.

No, those talks before compiler = hacking session are more like rehearsals. 

The schedule is here [1].

Some slides, papers, and artifacts = about those talks can be easily found online.

[1] : http://ocamll= abs.github.io/compiler-hacking/2015/08/20/mini-workshop.html

Kindly,<= br class=3D"">

Runhang



Kindly,<= br class=3D"">

Runhang


= --Apple-Mail=_0590B42E-5BBA-49FD-81FF-E30253E15909--