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; Tue, 4 Apr 2023 10:27:25 +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; Tue, 4 Apr 2023 10:27:24 +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; Tue, 4 Apr 2023 10:27:24 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 3349Qc1c006881 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 4 Apr 2023 10:26:38 +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 3349QOeQ006845 for ; Tue, 4 Apr 2023 10:26:32 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 04 Apr 2023 11:26:31 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id C6770E0235; Tue, 4 Apr 2023 11:26:28 +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 AAF54E00CE for ; Tue, 4 Apr 2023 11:26:20 +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; 04 Apr 2023 11:26:19 +0200 Received: from mail1.g3.pair.com (localhost [127.0.0.1]) by mail1.g3.pair.com (Postfix) with ESMTP id B3CB03FB841; Tue, 4 Apr 2023 05:26:17 -0400 (EDT) Received: from Magus.localnet (unknown [130.34.192.35]) (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 0823A582C12; Tue, 4 Apr 2023 05:26:16 -0400 (EDT) From: Oleg To: "caml-list@inria.fr" Subject: [Caml-list] [CFP] ML'23: Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop Thread-Topic: [Caml-list] [CFP] ML'23: Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop Thread-Index: AQHZZteqTXyZsqH5OUe6/0Tq2hmDvQ== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Tue, 4 Apr 2023 10:25:49 +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: 0102a0c4-0ef8-47e5-ab33-08db34eeccfe 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="5.98,317,1673910000"; d="scan'208";a="100614552" 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: <1157708D5AA5AF42884F0AAA99A72C09@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 DQpIaWdoZXItb3JkZXIsIFR5cGVkLCBJbmZlcnJlZCwgU3RyaWN0OiBBQ00gU0lHUExBTiBNTCBG YW1pbHkgV29ya3Nob3ANClNlcHRlbWJlciA4LCAyMDIzIChGcmlkYXkpIFNlYXR0bGUsIFdBLCBV U0EgKGRheSBhZnRlciBtYWluIElDRlApDQoNCkNhbGwgZm9yIHByZXNlbnRhdGlvbnM6IGh0dHBz Oi8vaWNmcDIzLnNpZ3BsYW4ub3JnL2hvbWUvbWx3b3Jrc2hvcC0yMDIzDQoNCk1MIEZhbWlseSBX b3Jrc2hvcCBpcyBhbiBlc3RhYmxpc2hlZCBpbmZvcm1hbCB3b3Jrc2hvcCBhaW1pbmcgdG8NCnJl Y29nbml6ZSB0aGUgZW50aXJlIGV4dGVuZGVkIE1MIGZhbWlseSBhbmQgdG8gcHJvdmlkZSB0aGUg Zm9ydW0gdG8NCnByZXNlbnQgYW5kIGRpc2N1c3MgY29tbW9uIGlzc3VlczogYWxsIGFzcGVjdHMg b2YgdGhlIGRlc2lnbiwNCnNlbWFudGljcywgdGhlb3J5LCBhcHBsaWNhdGlvbiwgaW1wbGVtZW50 YXRpb24sIGFuZCB0ZWFjaGluZyBvZiB0aGUNCm1lbWJlcnMgb2YgdGhlIE1MIGZhbWlseS4gV2Ug YWxzbyBlbmNvdXJhZ2UgcHJlc2VudGF0aW9ucyBmcm9tIHJlbGF0ZWQNCmxhbmd1YWdlcyAoc3Vj aCBhcyBIYXNrZWxsLCBTY2FsYSwgUnVzdCwgTmVtZXJsZSwgTGlua3MsIEtva2EsIEYqLA0KRWZm LCBBVFMsIGV0YyksIHRvIHByb21vdGUgdGhlIGV4Y2hhbmdlIG9mIGlkZWFzIGFuZCBleHBlcmll bmNlLiAgVGhlDQpNTCBmYW1pbHkgd29ya3Nob3Agd2lsbCBiZSBoZWxkIGluIGNsb3NlIGNvb3Jk aW5hdGlvbiB3aXRoIHRoZSBPQ2FtbA0KVXNlcnMgYW5kIERldmVsb3BlcnMgV29ya3Nob3AuDQoN CldlIHBsYW4gdGhlIHdvcmtzaG9wIHRvIGFuIGJlIGluLXBlcnNvbiBldmVudCB3aXRoIHJlbW90 ZSBwYXJ0aWNpcGF0aW9uDQooc3RyZWFtZWQgbGl2ZSkuICBTcGVha2VycyBhcmUgZ2VuZXJhbGx5 IGV4cGVjdGVkIHRvIHByZXNlbnQgaW4gcGVyc29uDQood2Ugd2lsbCB3b3JrIHRvIG1ha2UgcmVt b3RlIHByZXNlbnRhdGlvbnMgcG9zc2libGUpLg0KDQpXZSBzb2xpY2l0IHByb3Bvc2FscyBmb3Ig Y29udHJpYnV0ZWQgdGFsa3MsIGluIFBERiBmb3JtYXQsIHdpdGggYQ0Kc2hvcnQgc3VtbWFyeSBh dCB0aGUgYmVnaW5uaW5nIGFuZCB0aGUgaW5kaWNhdGlvbiBvZiB0aGUgc3VibWlzc2lvbg0KY2F0 ZWdvcnk6IFJlc2VhcmNoIFByZXNlbnRhdGlvbnMsIEV4cGVyaWVuY2UgUmVwb3J0cywgRGVtb3Ms IGFuZA0KSW5mb3JtZWQgUG9zaXRpb25zLiBUaGUgcG9pbnQgb2YgdGhlIHN1Ym1pc3Npb24gc2hv dWxkIGJlIGNsZWFyIGZyb20NCml0cyBmaXJzdCB0d28gcGFnZXMgKFBDIG1lbWJlcnMgYXJlIG5v dCBvYmxpZ2F0ZWQgdG8gcmVhZCBhbnkNCmZ1cnRoZXIuKSBXZSBwYXJ0aWN1bGFybHkgZW5jb3Vy YWdlIHRhbGtzIGFib3V0IHdvcmtzIGluIHByb2dyZXNzLA0KcHJlc2VudGF0aW9ucyBvZiBuZWdh dGl2ZSByZXN1bHRzICh0aGluZ3MgdGhhdCB3ZXJlIGV4cGVjdGVkIHRvIGJ1dA0KZGlkIG5vdCBx dWl0ZSB3b3JrIG91dCkgYW5kIGluZm9ybWVkIHBvc2l0aW9ucy4NCg0KKiBEZWFkbGluZSBmb3Ig dGFsayBwcm9wb3NhbHM6ICoqIFRodXJzZGF5IEp1bmUgMSwgMjAyMyAqKg0KKiBOb3RpZmljYXRp b24gb2YgYWNjZXB0YW5jZTogICoqIFRodXJzZGF5IEp1bHkgNiwgMjAyMyAqKg0KKiBXb3Jrc2hv cDogICAgICAgICAgICAgICAgICAgICoqIEZyaWRheSBTZXB0ZW1iZXIgOCwgMjAyMyAqKg0KDQpT dWJtaXNzaW9uIHdlYnNpdGU6IGh0dHBzOi8vbWwyMDIzLmhvdGNycC5jb20vDQoNClByb2dyYW0g Q29tbWl0dGVlDQoNCkxhcnMgQmVyZ3N0cm9tICAgICAgICAgICAgICAgICAgR29vZ2xlLCBVU0EN Ck1hcnRpbiBFbHNtYW4gICAgICAgICAgICAgICAgICAgVW5pdmVyc2l0eSBvZiBDb3BlbmhhZ2Vu LCBEZW5tYXJrDQpNYXR0aGV3IEZsdWV0ICAgICAgICAgICAgICAgICAgIFJvY2hlc3RlciBJbnN0 aXR1dGUgb2YgVGVjaG5vbG9neSwgVVNBDQpKYWNxdWVzIEdhcnJpZ3VlICAgICAgICAgICAgICAg IE5hZ295YSBVbml2ZXJzaXR5LCBKYXBhbg0KT2xlZyBLaXNlbHlvdiAgICAgICAgICAgICAgICAg ICBUb2hva3UgVW5pdmVyc2l0eSwgSmFwYW4gKENoYWlyKQ0KSnVsaWEgTGF3YWxsICAgICAgICAg ICAgICAgICAgICBJbnJpYSBQYXJpcywgRnJhbmNlDQpBbmRyZXkgTW9raG92ICAgICAgICAgICAg ICAgICAgIEphbmUgU3RyZWV0LCBVSw0KQmVub8OudCBNb250YWd1ICAgICAgICAgICAgICAgICAg SW5yaWEgUmVubmVzLCBGcmFuY2UNCkd1aWxsYXVtZSBNdW5jaC1NYWNjYWdub25pICAgICAgSW5y aWEgUmVubmVzLCBGcmFuY2UNCk1hdGlqYSBQcmV0bmFyICAgICAgICAgICAgICAgICAgVW5pdmVy c2l0eSBvZiBManVibGphbmEsIFNsb3ZlbmlhDQpBbmRyZWFzIFJvc3NiZXJnICAgICAgICAgICAg ICAgIEdlcm1hbnkNCkdhYnJpZWwgU2NoZXJlciAgICAgICAgICAgICAgICAgSW5yaWEgU2FjbGF5 LCBGcmFuY2UNCg==