From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.23 via Mailbox Transport; Fri, 2 Jun 2023 09:34:56 +0100 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.23; Fri, 2 Jun 2023 09:34:56 +0100 Received: from exchange.romulus.metastack.com (172.16.0.21) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_0, cipher=TLS_RSA_WITH_AES_256_CBC_SHA) id 15.1.2507.23 via Frontend Transport; Fri, 2 Jun 2023 09:34:56 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 3528YB9t029076 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Fri, 2 Jun 2023 09:34:11 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 3528Y4TE029058 for ; Fri, 2 Jun 2023 09:34:04 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 Jun 2023 10:34:03 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 893E8E0094; Fri, 2 Jun 2023 10:34:03 +0200 (CEST) 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 B8AF9E0094 for ; Fri, 2 Jun 2023 10:33:58 +0200 (CEST) Received: from mail1.g3.pair.com ([66.39.3.114]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 02 Jun 2023 10:33:56 +0200 Received: from mail1.g3.pair.com (localhost [127.0.0.1]) by mail1.g3.pair.com (Postfix) with ESMTP id 711743FB684; Fri, 2 Jun 2023 04:33:55 -0400 (EDT) Received: from Magus.localnet (e47-53.star.net.tohoku.ac.jp [130.34.47.53]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mail1.g3.pair.com (Postfix) with ESMTPSA id A6AF7582C77; Fri, 2 Jun 2023 04:33:54 -0400 (EDT) From: Oleg To: "caml-list@inria.fr" Subject: [Caml-list] [Deadline Extension] ML'23: Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop Thread-Topic: [Caml-list] [Deadline Extension] ML'23: Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop Thread-Index: AQHZlS0cGYNzNxAgj0qrGXUNLQcq7w== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Fri, 2 Jun 2023 09:33:33 +0100 Message-ID: Keywords: Sent to dra-news@metastack.com,Marked bulk,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: Reply-To: Oleg Content-Language: en-GB X-MS-Exchange-Organization-AuthAs: Anonymous X-MS-Exchange-Organization-AuthSource: Hermes.metastack.local X-MS-Has-Attach: X-Auto-Response-Suppress: All X-MS-Exchange-Organization-Network-Message-Id: 9acd010f-6664-4a63-c150-08db63443ea2 X-MS-TNEF-Correlator: X-MS-Exchange-Organization-RecordReviewCfmType: 0 x-scanned-by: mailmunge 3.11 on 66.39.3.114 received-spf: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only x-ironport-av: E=Sophos;i="6.00,212,1681164000"; d="scan'208";a="110877898" x-ironport-anti-spam-filtered: true x-loop: caml-list@inria.fr x-no-archive: yes Content-Type: text/plain; charset="utf-8" Content-ID: <51457694C3B55E4D927515D4B9F66FA4@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 DQojIERlYWRsaW5lIGV4dGVuZGVkIHRpbGwgSnVuZSA4IChUaHUpLCBBT0UNCiMgVGFsayBwcm9w b3NhbHMgKDEtMyBQREYgcGFnZXMpIGFyZSBzb2xpY2l0ZWQuDQojIFJlbW90ZSBwYXJ0aWNpcGF0 aW9uIGFuZCBwcmVzZW50YXRpb24gYXJlIHBvc3NpYmxlLg0KIyBXZSBwYXJ0aWN1bGFybHkgZW5j b3VyYWdlIHRhbGtzIGFib3V0IHdvcmtzIGluIHByb2dyZXNzLA0KIyBwcmVzZW50YXRpb25zIG9m IG5lZ2F0aXZlIHJlc3VsdHMgKHRoaW5ncyB0aGF0IHdlcmUgZXhwZWN0ZWQgdG8gYnV0DQojIGRp ZCBub3QgcXVpdGUgd29yayBvdXQpIGFuZCBpbmZvcm1lZCBwb3NpdGlvbnMuDQojIFBsZWFzZSBj b25zaWRlciBzdWJtaXNzaW9uIQ0KDQpIaWdoZXItb3JkZXIsIFR5cGVkLCBJbmZlcnJlZCwgU3Ry aWN0OiBBQ00gU0lHUExBTiBNTCBGYW1pbHkgV29ya3Nob3ANClNlcHRlbWJlciA4LCAyMDIzIChG cmlkYXkpIFNlYXR0bGUsIFdBLCBVU0EgKGRheSBhZnRlciBtYWluIElDRlApDQoNCkNhbGwgZm9y IHByZXNlbnRhdGlvbnM6IGh0dHBzOi8vaWNmcDIzLnNpZ3BsYW4ub3JnL2hvbWUvbWx3b3Jrc2hv cC0yMDIzDQoNCk1MIEZhbWlseSBXb3Jrc2hvcCBpcyBhbiBlc3RhYmxpc2hlZCBpbmZvcm1hbCB3 b3Jrc2hvcCBhaW1pbmcgdG8NCnJlY29nbml6ZSB0aGUgZW50aXJlIGV4dGVuZGVkIE1MIGZhbWls eSBhbmQgdG8gcHJvdmlkZSB0aGUgZm9ydW0gdG8NCnByZXNlbnQgYW5kIGRpc2N1c3MgY29tbW9u IGlzc3VlczogYWxsIGFzcGVjdHMgb2YgdGhlIGRlc2lnbiwNCnNlbWFudGljcywgdGhlb3J5LCBh cHBsaWNhdGlvbiwgaW1wbGVtZW50YXRpb24sIGFuZCB0ZWFjaGluZyBvZiB0aGUNCm1lbWJlcnMg b2YgdGhlIE1MIGZhbWlseS4gV2UgYWxzbyBlbmNvdXJhZ2UgcHJlc2VudGF0aW9ucyBmcm9tIHJl bGF0ZWQNCmxhbmd1YWdlcyAoc3VjaCBhcyBIYXNrZWxsLCBTY2FsYSwgUnVzdCwgTmVtZXJsZSwg TGlua3MsIEtva2EsIEYqLA0KRWZmLCBBVFMsIGV0YyksIHRvIHByb21vdGUgdGhlIGV4Y2hhbmdl IG9mIGlkZWFzIGFuZCBleHBlcmllbmNlLiAgVGhlDQpNTCBmYW1pbHkgd29ya3Nob3Agd2lsbCBi ZSBoZWxkIGluIGNsb3NlIGNvb3JkaW5hdGlvbiB3aXRoIHRoZSBPQ2FtbA0KVXNlcnMgYW5kIERl dmVsb3BlcnMgV29ya3Nob3AuDQoNCldlIHBsYW4gdGhlIHdvcmtzaG9wIHRvIGFuIGJlIGluLXBl cnNvbiBldmVudCB3aXRoIHJlbW90ZSBwYXJ0aWNpcGF0aW9uDQooc3RyZWFtZWQgbGl2ZSkuICBT cGVha2VycyBhcmUgZ2VuZXJhbGx5IGV4cGVjdGVkIHRvIHByZXNlbnQgaW4gcGVyc29uDQood2Ug d2lsbCB3b3JrIHRvIG1ha2UgcmVtb3RlIHByZXNlbnRhdGlvbnMgcG9zc2libGUpLg0KDQpXZSBz b2xpY2l0IHByb3Bvc2FscyBmb3IgY29udHJpYnV0ZWQgdGFsa3MsIGluIFBERiBmb3JtYXQsIHdp dGggYQ0Kc2hvcnQgc3VtbWFyeSBhdCB0aGUgYmVnaW5uaW5nIGFuZCB0aGUgaW5kaWNhdGlvbiBv ZiB0aGUgc3VibWlzc2lvbg0KY2F0ZWdvcnk6IFJlc2VhcmNoIFByZXNlbnRhdGlvbnMsIEV4cGVy aWVuY2UgUmVwb3J0cywgRGVtb3MsIGFuZA0KSW5mb3JtZWQgUG9zaXRpb25zLiBUaGUgcG9pbnQg b2YgdGhlIHN1Ym1pc3Npb24gc2hvdWxkIGJlIGNsZWFyIGZyb20NCml0cyBmaXJzdCB0d28gcGFn ZXMgKFBDIG1lbWJlcnMgYXJlIG5vdCBvYmxpZ2F0ZWQgdG8gcmVhZCBhbnkNCmZ1cnRoZXIuKSBX ZSBwYXJ0aWN1bGFybHkgZW5jb3VyYWdlIHRhbGtzIGFib3V0IHdvcmtzIGluIHByb2dyZXNzLA0K cHJlc2VudGF0aW9ucyBvZiBuZWdhdGl2ZSByZXN1bHRzICh0aGluZ3MgdGhhdCB3ZXJlIGV4cGVj dGVkIHRvIGJ1dA0KZGlkIG5vdCBxdWl0ZSB3b3JrIG91dCkgYW5kIGluZm9ybWVkIHBvc2l0aW9u cy4NCg0KKiBEZWFkbGluZSBmb3IgdGFsayBwcm9wb3NhbHM6ICoqIFRodXJzZGF5IEp1bmUgOCwg MjAyMyBbRVhURU5ERURdICoqDQoqIE5vdGlmaWNhdGlvbiBvZiBhY2NlcHRhbmNlOiAgKiogVGh1 cnNkYXkgSnVseSA2LCAyMDIzICoqDQoqIFdvcmtzaG9wOiAgICAgICAgICAgICAgICAgICAgKiog RnJpZGF5IFNlcHRlbWJlciA4LCAyMDIzICoqDQoNClN1Ym1pc3Npb24gd2Vic2l0ZTogaHR0cHM6 Ly9tbDIwMjMuaG90Y3JwLmNvbS8NCg0KUHJvZ3JhbSBDb21taXR0ZWUNCg0KTGFycyBCZXJnc3Ry b20gICAgICAgICAgICAgICAgICBHb29nbGUsIFVTQQ0KTWFydGluIEVsc21hbiAgICAgICAgICAg ICAgICAgICBVbml2ZXJzaXR5IG9mIENvcGVuaGFnZW4sIERlbm1hcmsNCk1hdHRoZXcgRmx1ZXQg ICAgICAgICAgICAgICAgICAgUm9jaGVzdGVyIEluc3RpdHV0ZSBvZiBUZWNobm9sb2d5LCBVU0EN CkphY3F1ZXMgR2FycmlndWUgICAgICAgICAgICAgICAgTmFnb3lhIFVuaXZlcnNpdHksIEphcGFu DQpPbGVnIEtpc2VseW92ICAgICAgICAgICAgICAgICAgIFRvaG9rdSBVbml2ZXJzaXR5LCBKYXBh biAoQ2hhaXIpDQpKdWxpYSBMYXdhbGwgICAgICAgICAgICAgICAgICAgIElucmlhIFBhcmlzLCBG cmFuY2UNCkFuZHJleSBNb2tob3YgICAgICAgICAgICAgICAgICAgSmFuZSBTdHJlZXQsIFVLDQpC ZW5vw650IE1vbnRhZ3UgICAgICAgICAgICAgICAgICBJbnJpYSBSZW5uZXMsIEZyYW5jZQ0KR3Vp bGxhdW1lIE11bmNoLU1hY2NhZ25vbmkgICAgICBJbnJpYSBSZW5uZXMsIEZyYW5jZQ0KTWF0aWph IFByZXRuYXIgICAgICAgICAgICAgICAgICBVbml2ZXJzaXR5IG9mIExqdWJsamFuYSwgU2xvdmVu aWENCkFuZHJlYXMgUm9zc2JlcmcgICAgICAgICAgICAgICAgR2VybWFueQ0KR2FicmllbCBTY2hl cmVyICAgICAgICAgICAgICAgICBJbnJpYSBTYWNsYXksIEZyYW5jZQ0KDQo=