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 yquem.inria.fr (Postfix) with ESMTP id EB25DBBAF for ; Mon, 6 Dec 2010 15:58:34 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ar0AAAKJ/EyDa3PUkWdsb2JhbACDUJ5+ahUBAQIJCwoHEQYcpB6IeZAngSGDNXMEjgcU X-IronPort-AV: E=Sophos;i="4.59,305,1288566000"; d="scan'208";a="69970029" Received: from unknown (HELO smtp.microsoft.com) ([131.107.115.212]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-MD5; 06 Dec 2010 15:58:33 +0100 Received: from TK5EX14HUBC103.redmond.corp.microsoft.com (157.54.86.9) by TK5-EXGWY-E801.partners.extranet.microsoft.com (10.251.56.50) with Microsoft SMTP Server (TLS) id 8.2.176.0; Mon, 6 Dec 2010 06:58:24 -0800 Received: from DB3EX14HUBC302.europe.corp.microsoft.com (10.166.18.182) by TK5EX14HUBC103.redmond.corp.microsoft.com (157.54.86.9) with Microsoft SMTP Server (TLS) id 14.1.255.3; Mon, 6 Dec 2010 06:58:23 -0800 Received: from DB3EX14MBXC306.europe.corp.microsoft.com ([169.254.6.212]) by DB3EX14HUBC302.europe.corp.microsoft.com ([10.166.18.182]) with mapi id 14.01.0255.003; Mon, 6 Dec 2010 14:58:10 +0000 From: Simon Peyton-Jones To: "haskell@haskell.org" , "caml-list@inria.fr" Subject: International Workshop on Intermediate Representations (WIR 2011) Thread-Topic: International Workshop on Intermediate Representations (WIR 2011) Thread-Index: AQHLlUkflIY0za5w0kuQOjf6evkPgJOTf92g Date: Mon, 6 Dec 2010 14:58:10 +0000 Message-ID: <59543203684B2244980D7E4057D5FBC11F1BE45F@DB3EX14MBXC306.europe.corp.microsoft.com> Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [10.166.18.92] Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-Spam: no; 0.00; peyton-jones:01 untyped:01 co-located:01 parallelism:01 compilation:01 compiler:01 low-level:01 sigplan:01 sigs:01 sigplan:01 lerner:01 irs:98 analyzers:98 storm:98 imperative:01 RGVhciBmdW5jdGlvbmFsIGZyaWVuZHMNCg0KSGVyZSdzIHRoZSBDYWxsIGZvciBQYXBlcnMgZm9y IGEgbmV3IFdvcmtzaG9wIG9uIEludGVybWVkaWF0ZSBSZXByZXNlbnRhdGlvbnMuICANCg0KSSBl eHBlY3QgaXQgdG8gZ2V0IGEgbG90IG9mIHBhcGVycyBhYm91dCB0aGUgSlZNIGFuZCBwcm9ncmFt IGRlcGVuZGVuY2UgZ3JhcGhzLCBidXQgdGhlIENoYWlyIGV4cGxpY2l0bHkgd2FudHMgcGFwZXJz IGFib3V0IGludGVybWVkaWF0ZSByZXByZXNlbnRhdGlvbnMgZm9yIGZ1bmN0aW9uYWwgcHJvZ3Jh bXMsIGJvdGggdHlwZWQgYW5kIHVudHlwZWQuICBTbywgZG8gbWUgYSBmYXZvdXIgOi0pIGFuZCBz dWJtaXQgeW91ciBwYXBlciwgbGVzdCBJIGdldCBsYW5kZWQgd2l0aCBhIG1vdW50YWluIG9mIFNT QSBwYXBlcnMgdG8gcmV2aWV3LiAgIChZZXMsIFNTQSBpcyBqdXN0IENQUyBpbiBkaXNndWlzZS4g QnV0IHRoZSBkaXNndWlzZSBpcyBoZWF2eS4pDQoNClRoZSBkZWFkbGluZSBpcyByYXRoZXIgc2hv cnQ6IEphbiAyMS4gIEhhcHB5IENocmlzdG1hcyENCg0KU2ltb24NCg0KPT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09DQpDYWxsIGZvciBQYXBlcnMNCg0KSW50ZXJuYXRpb25hbCBXb3Jrc2hv cCBvbiBJbnRlcm1lZGlhdGUgUmVwcmVzZW50YXRpb25zIChXSVIgMjAxMSkNCg0KQ28tbG9jYXRl ZCB3aXRoIENHTyAyMDExLCBBcHJpbCAyLzMgMjAxMSBpbiBDaGFtb25peCwgRnJhbmNlDQoNCmh0 dHA6Ly9yZXNlYXJjaHIub3JnL2NvbmZlcmVuY2Uvd2lyLTIwMTENCg0KRGVzY3JpcHRpb24NCj09 PT09PT09PT09DQoNClRoZSBpbnRlcm1lZGlhdGUgcmVwcmVzZW50YXRpb24gaXMgdGhlIGNvcmUg b2YgYW55IHByb2dyYW0gdHJhbnNmb3JtYXRpb24gdG9vbC4gSXRzIGRlc2lnbiBoYXMgYSBzaWdu aWZpY2FudCBpbXBhY3Qgb24gdGhlIHNpbXBsaWNpdHksIGVmZmljaWVuY3ksIGFuZCBlZmZlY3Rp dmVuZXNzIG9mIHByb2dyYW0gdHJhbnNmb3JtYXRpb25zLiBUaGUgZGV2ZWxvcG1lbnRzIGluIGNv bmN1cnJlbnQgcHJvZ3JhbW1pbmcsIGludGVncmF0ZWQgZGV2ZWxvcG1lbnQgZW52aXJvbm1lbnRz LCBhbmQgZG9tYWluLXNwZWNpZmljIGxhbmd1YWdlcyBwb3NlIG5ldyByZXF1aXJlbWVudHMgb24g aW50ZXJtZWRpYXRlIHJlcHJlc2VudGF0aW9ucy4gVGhpcyB3b3Jrc2hvcCBwcm92aWRlcyBhIGZv cnVtIHRvIGRpc2N1c3MgY3VycmVudCB0cmVuZHMgYW5kIGV4cGVyaWVuY2VzIGluIHRoZSBkZXNp Z24sIGltcGxlbWVudGF0aW9uLCBhbmQgYXBwbGljYXRpb24gb2YgaW50ZXJtZWRpYXRlIHJlcHJl c2VudGF0aW9ucy4gIA0KDQpUb3BpY3Mgb2YgSW50ZXJlc3QNCj09PT09PT09PT09PT09PT09PQ0K DQpUaGUgbGlzdCBvZiB0b3BpY3MgaW5jbHVkZXMsIGJ1dCBpcyBub3QgbGltaXRlZCB0bzoNCg0K ICAgKiBpbnRlcm1lZGlhdGUgcmVwcmVzZW50YXRpb25zIGZvcg0KICAgICAgICAgbyBwYXJhbGxl bGlzbSBhbmQgY29uY3VycmVuY3kNCiAgICAgICAgIG8gaW5zdHJ1bWVudGF0aW9uDQogICAgICAg ICBvIEpJVCBjb21waWxhdGlvbg0KICAgICAgICAgbyBjb21waWxlciB2ZXJpZmljYXRpb24NCiAg ICAgICAgIG8gZG9tYWluLXNwZWNpZmljIGxhbmd1YWdlcw0KICAgICAgICAgbyByZWZhY3Rvcmlu Zw0KICAgICAgICAgbyBpbnRlZ3JhdGVkIGRldmVsb3BtZW50IGVudmlyb25tZW50cw0KICAgKiBm dW5jdGlvbmFsIGludGVybWVkaWF0ZSByZXByZXNlbnRhdGlvbnMgZm9yIGltcGVyYXRpdmUgcHJv Z3JhbXMNCiAgICogdHJhbnNsYXRpb24gdG8sIGFuZCBjb2RlIGdlbmVyYXRpb24gZnJvbSBhbiBJ Ug0KICAgKiBtb2RlbGluZyBsb3ctbGV2ZWwgbWFjaGluZSBkZXRhaWxzIGluIElScw0KICAgKiBp bXBhY3Qgb2YgSVIgb24gdGhlIHByZWNpc2lvbiBvZiBzdGF0aWMgYW5hbHl6ZXJzDQogICAqIHJl cHJlc2VudGluZyBzdGF0aWMgYW5hbHlzaXMgcmVzdWx0cyBpbiBhbiBJUg0KICAgKiBvcmlnaW4g dHJhY2tpbmcNCg0KU3VibWlzc2lvbg0KPT09PT09PT09PQ0KDQpXZSBzb2xpY2l0IHN1Ym1pc3Np b24gb2Ygb3JpZ2luYWwgcGFwZXJzIG9uIHRvcGljcyByZWxldmFudCB0byBpbnRlcm1lZGlhdGUN CnJlcHJlc2VudGF0aW9ucy4gUGFwZXJzIHNob3VsZCBiZSBmb3JtYXR0ZWQgaW4gU0lHUExBTiBQ cm9jZWVkaW5ncw0KRm9ybWF0LCA5IHBvaW50DQpmb250LCBhbmQgYmUgYXQgbW9zdCA4IHBhZ2Vz IGluIGxlbmd0aC4NCg0KICAgKiBodHRwOi8vd3d3LmFjbS5vcmcvc2lncy9zaWdwbGFuL2F1dGhv ckluZm9ybWF0aW9uLmh0bQ0KDQpTZWxlY3RlZCBwYXBlcnMgd2lsbCBiZSBwdWJsaXNoZWQgaW4g dGhlIEFDTSBkaWdpdGFsIGxpYnJhcnkgKHRvIGJlIGNvbmZpcm1lZCkuDQoNClBhcGVycyBzaG91 bGQgYmUgc3VibWl0dGVkIGVsZWN0cm9uaWNhbGx5IHdpdGggZWFzeWNoYWlyOg0KDQogICAqIGh0 dHA6Ly93d3cuZWFzeWNoYWlyLm9yZy9jb25mZXJlbmNlcy8/Y29uZj13aXIyMDExDQoNCkltcG9y dGFudCBEYXRlcw0KPT09PT09PT09PT09PT09DQoNCiAgICogU3VibWlzc2lvbjogSmFudWFyeSAy MSwgMjAxMQ0KICAgKiBOb3RpZmljYXRpb246IEZlYnJ1YXJ5IDI1LCAyMDExDQogICAqIENhbWVy YS1yZWFkeTogTWFyY2ggMTgsIDIwMTENCiAgICogV29ya3Nob3A6IEFwcmlsIDIvMywgMjAxMQ0K DQpPcmdhbml6ZXJzDQo9PT09PT09PT09DQoNCiAgICogRmxvcmVudCBCb3VjaGV6DQogICAqIFNl YmFzdGlhbiBIYWNrDQogICAqIEVlbGNvIFZpc3Nlcg0KDQpQcm9ncmFtIENvbW1pdHRlZQ0KPT09 PT09PT09PT09PT09PT0NCg0KICAgICogRmxvcmVudCBCb3VjaGV6IChjaGFpcikNCiAgICAqIE1h cnRpbiBCcmF2ZW5ib2VyDQogICAgKiBBbGJlcnQgQ29oZW4NCiAgICAqIEZyYW7Dp29pcyBkZSBG ZXJyacOocmUNCiAgICAqIFJvYmVydCBGdWhyZXINCiAgICAqIFNlYmFzdGlhbiBIYWNrIChjaGFp cikNCiAgICAqIEFuZHJldyBLZW5uZWR5DQogICAgKiBTb3JpbiBMZXJuZXINCiAgICAqIE5hdGhh bmllbCBOeXN0cm9tDQogICAgKiBTaW1vbiBQZXl0b24gSm9uZXMNCiAgICAqIFRpanMgdmFuIGRl ciBTdG9ybQ0KICAgICogRWVsY28gVmlzc2VyIChjaGFpcikNCg0K