[2nd CFP] HOPE'26: ACM SIGPLAN Workshop on Higher-Order Programming with Effects
Taro Sekiyama <[email protected]> Mon, 25 May 2026 15:57:20 +0900
| Newsgroups | gmane.comp.lang.haskell.general |
|---|---|
| Message-ID | <[email protected]> |
KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioq KioqKioqKioqKioqKg0KMm5kIENhbGwgZm9yIFByb3Bvc2FscyAtwqAgSE9QRSAyMDI2DQoqKioq KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioq KioqKioqKioqDQoNClRMO0RSOg0KVGFsayBwcm9wb3NhbCBkZWFkbGluZSBmb3IgSE9QRSAyMDI2 IGlzIG9uIE1heSAyOSwgMjAyNi4NClRoaXMgeWVhciwgdGhlIHdvcmtzaG9wIHdpbGwgYmUgY28t bG9jYXRlZCB3aXRoIElDRlAnMjYgKEluZGlhbmEsIFVTKQ0KYW5kIEZXJzI2IChQYXJpcywgRnJh bmNlKQ0KLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLQ0KDQogwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAg wqAgwqAgwqAgSE9QRSAyMDI2DQoNCiDCoCDCoCDCoCDCoCDCoCDCoFRoZSAxNHRoIEFDTSBTSUdQ TEFOIFdvcmtzaG9wIG9uDQogwqAgwqAgwqAgwqAgwqAgwqBIaWdoZXItT3JkZXIgUHJvZ3JhbW1p bmcgd2l0aCBFZmZlY3RzDQoNCiDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDC oEF1Z3VzdCAyNCwgMjAyNg0KIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgKHRoZSBkYXkgYmVm b3JlIElDRlAgMjAyNikNCg0KaHR0cHM6Ly9pY2ZwMjYuc2lncGxhbi5vcmcvaG9tZS9ob3BlLTIw MjYgDQo8aHR0cHM6Ly9pY2ZwMjYuc2lncGxhbi5vcmcvaG9tZS9ob3BlLTIwMjY+DQoNCg0KSE9Q RSAyMDI2IGFpbXMgdG8gYnJpbmcgdG9nZXRoZXIgcmVzZWFyY2hlcnMgaW50ZXJlc3RlZCBpbiB0 aGUgZGVzaWduLA0Kc2VtYW50aWNzLCBpbXBsZW1lbnRhdGlvbiwgYW5kIHZlcmlmaWNhdGlvbiBv ZiBoaWdoZXItb3JkZXIgZWZmZWN0ZnVsDQpwcm9ncmFtcy4gSXQgd2lsbCBiZSppbmZvcm1hbCos IGNvbnNpc3Rpbmcgb2YgaW52aXRlZCB0YWxrcywgY29udHJpYnV0ZWQgDQp0YWxrcw0Kb24gd29y ayBpbiBwcm9ncmVzcywgYW5kIG9wZW4tZW5kZWQgZGlzY3Vzc2lvbiBzZXNzaW9ucy4NCg0KLS0t LS0tLS0tLS0tLS0tLS0tLS0tLQ0KQ2FsbCBmb3IgVGFsayBQcm9wb3NhbHMNCi0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tDQoNCldlIHNvbGljaXQgcHJvcG9zYWxzIGZvciBjb250cmlidXRlZCB0YWxr cy4gV2UgcmVjb21tZW5kIHByZXBhcmluZyANCnByb3Bvc2FscyBvZg0KYXQgbW9zdCAyIHBhZ2Vz IGV4Y2x1ZGluZyByZWZlcmVuY2VzLCBpbiBlaXRoZXIgcGxhaW4gdGV4dCBvciBQREYNCmZvcm1h dC4gSG93ZXZlciwgd2Ugd2lsbCBhY2NlcHQgbG9uZ2VyIHByb3Bvc2FscyBvciBzdWJtaXNzaW9u cyB0byBvdGhlcg0KY29uZmVyZW5jZXMsIHVuZGVyIHRoZSB1bmRlcnN0YW5kaW5nIHRoYXQgUEMg bWVtYmVycyBhcmUgb25seSBleHBlY3RlZCANCnRvIHJlYWQNCnRoZSBmaXJzdCB0d28gcGFnZXMg b2Ygc3VjaCBsb25nZXIgc3VibWlzc2lvbnMuIFdoZW4gc3VibWl0dGluZyB0YWxrIA0KcHJvcG9z YWxzLA0KYXV0aG9ycyBzaG91bGQgc3BlY2lmeSBob3cgbG9uZyBhIHRhbGsgdGhlIHNwZWFrZXIg d2lzaGVzIHRvIGdpdmUuIEJ5IA0KZGVmYXVsdCwNCmNvbnRyaWJ1dGVkIHRhbGtzIHdpbGwgYmUg MzAgbWludXRlcyBsb25nLCBidXQgcHJvcG9zYWxzIGZvciBzaG9ydGVyIG9yIA0KbG9uZ2VyDQp0 YWxrcyB3aWxsIGFsc28gYmUgY29uc2lkZXJlZC4gU3BlYWtlcnMgbWF5IGFsc28gc3VibWl0IHN1 cHBsZW1lbnRhcnkgDQptYXRlcmlhbA0KKGUuZy4gYSBmdWxsIHBhcGVyLCB0YWxrIHNsaWRlcykg aWYgdGhleSBkZXNpcmUsIHdoaWNoIFBDIG1lbWJlcnMgYXJlIA0KZnJlZSAoYnV0DQpub3QgZXhw ZWN0ZWQpIHRvIHJlYWQuDQoNCldlIGFyZSBpbnRlcmVzdGVkIGluIHRhbGtzIG9uIGFsbCB0b3Bp Y3MgcmVsYXRlZCB0byB0aGUgaW50ZXJhY3Rpb24gb2YNCmhpZ2hlci1vcmRlciBwcm9ncmFtbWlu ZyBhbmQgY29tcHV0YXRpb25hbCBlZmZlY3RzLiBUYWxrcyBhYm91dCB3b3JrDQppbiBwcm9ncmVz cyBhcmUgcGFydGljdWxhcmx5IGVuY291cmFnZWQuIElmIHlvdSBoYXZlIGFueSBxdWVzdGlvbnMN CmFib3V0IHRoZSByZWxldmFuY2Ugb2YgYSBwYXJ0aWN1bGFyIHRvcGljLCBwbGVhc2UgY29udGFj dCB0aGUgUEMNCmNoYWlycywgVGFybyBTZWtpeWFtYSAodHNla2l5YW1hQGFjbS5vcmcpIGFuZCBG cmFuY2VzY28gR2F2YXp6bw0KKGZyYW5jZXNjby5nYXZhenpvQHVuaXBkLml0KS4NCg0KSW1wb3J0 YW50IE5vdGU6IEhPUEXigJkyNiB3aWxsIGJlIGNvLWxvY2F0ZWQgd2l0aCBJQ0ZQ4oCZMjYNCiho dHRwczovL2ljZnAyNi5zaWdwbGFuLm9yZy8pIGFuZCBGV+KAmTI2DQooaHR0cHM6Ly93d3cuaXJp Zi5mci9+c2NoZXJlci9ldmVudHMvZnB3LTIwMjYvYW5ub3VuY2UuaHRtbCANCjxodHRwczovL3d3 dy5pcmlmLmZyL35zY2hlcmVyL2V2ZW50cy9mcHctMjAyNi9hbm5vdW5jZS5odG1sPikuDQpQcmVz ZW50ZXJzIGNhbiBjaG9vc2UgZWl0aGVyIGV2ZW50IHRvIGF0dGVuZCBpbi1wZXJzb24uIFdlIGFs c28NCmVuY291cmFnZSByZW1vdGUgcGFydGljaXBhdGlvbiBhbmQgd2lsbCBzdXBwb3J0IHJlbW90 ZSBwcmVzZW50YXRpb25zLg0KDQpEZWFkbGluZSBmb3IgdGFsayBwcm9wb3NhbHM6IE1heSAyOSwg MjAyNiAoRnJpZGF5KQ0KDQpOb3RpZmljYXRpb24gb2YgYWNjZXB0YW5jZTrCoCBKdW5lIDI2LCAy MDI2IChGcmlkYXkpDQoNCldvcmtzaG9wOiBBdWd1c3QgMjQsIDIwMjYsIEluZGlhbmEsIFVuaXRl ZCBTdGF0ZXMgJiBQYXJpcywgRnJhbmNlIA0KKHRlbnRhdGl2ZWx5KQ0KDQpUaGUgc3VibWlzc2lv biB3ZWJzaXRlIGlzIG5vdyBvcGVuOg0KDQpodHRwczovL2hvcGUyNi5ob3RjcnAuY29tDQoNCi0t LS0tLS0tLS0tLS0tLS0tLS0tLQ0KV29ya3Nob3AgT3JnYW5pemF0aW9uDQotLS0tLS0tLS0tLS0t LS0tLS0tLS0NCg0KUHJvZ3JhbSBDb21taXR0ZWU6DQoNCll1eWFuIEJhbyAoQXVndXN0YSBVbml2 ZXJzaXR5KQ0KUmFwaGHDq2xsZSBDcnViaWxsw6kgKEFpeC1NYXJzZWlsbGUgVW5pdmVyc2l0eSkN CkZyYW5jZXNjbyBEYWduaW5vIChVbml2ZXJzaXR5IG9mIEdlbm92YSkNCkVsZW5hIGRpIExhdm9y ZSAoVW5pdmVyc2l0eSBvZiBPeGZvcmQpDQpGcmFuY2VzY28gR2F2YXp6byAoVW5pdmVyc2l0eSBv ZiBQYWR1YSkNCkNyaXN0aW5hIE1hdGFjaGUgKFVuaXZlcnNpdHkgb2YgRWRpbmJ1cmdoKQ0KS2Vu IFNha2F5b3JpIChUaGUgVW5pdmVyc2l0eSBvZiBUb2t5bykNClRhcm8gU2VraXlhbWEgKE5hdGlv bmFsIEluc3RpdHV0ZSBvZiBJbmZvcm1hdGljcykNCkRhcmlvIFN0ZWluIChSYWRib3VkIFVuaXZl cnNpdHkpDQpOaWVscyBWb29ybmV2ZWxkIChDeWJlcm5ldGljYSkNClpoaXh1YW4gWWFuZyAoVW5p dmVyc2l0eSBvZiBFeGV0ZXIpDQoNCi0tLS0tLS0tLS0tLS0tLS0tLS0tLQ0KR29hbHMgb2YgdGhl IFdvcmtzaG9wDQotLS0tLS0tLS0tLS0tLS0tLS0tLS0NCg0KQSByZWN1cnJpbmcgdGhlbWUgaW4g bWFueSBwYXBlcnMgYXQgSUNGUCwgYW5kIGluIHRoZSByZXNlYXJjaCBvZiBtYW55IElDRlANCmF0 dGVuZGVlcywgaXMgdGhlIGludGVyYWN0aW9uIG9mIGhpZ2hlci1vcmRlciBwcm9ncmFtbWluZyB3 aXRoIHZhcmlvdXMgDQpraW5kcyBvZg0KZWZmZWN0czogc3RvcmFnZSBlZmZlY3RzLCBJL08sIGNv bnRyb2wgZWZmZWN0cywgY29uY3VycmVuY3ksIGV0Yy4gV2hpbGUgDQplZmZlY3RzDQphcmUgb2Yg Y3JpdGljYWwgaW1wb3J0YW5jZSBpbiBtYW55IGFwcGxpY2F0aW9ucywgdGhleSBhbHNvIG1ha2Ug Y29kZSANCmhhcmRlciB0bw0KYnVpbGQsIG1haW50YWluLCBhbmQgcmVhc29uIGFib3V0LiBIaWdo ZXItb3JkZXIgbGFuZ3VhZ2VzIChib3RoIA0KZnVuY3Rpb25hbCBhbmQNCm9iamVjdC1vcmllbnRl ZCkgcHJvdmlkZSBhIHZhcmlldHkgb2YgYWJzdHJhY3Rpb24gbWVjaGFuaXNtcyB0byBoZWxwIA0K 4oCcdGFtZeKAnSBvcg0K4oCcZW5jYXBzdWxhdGXigJ0gZWZmZWN0cyAoZS5nLiBtb25hZHMgYW5k IGhhbmRsZXJzLCBBRFRzLCBvd25lcnNoaXAgdHlwZXMsDQp0eXBlc3RhdGUsIGZpcnN0LWNsYXNz IGV2ZW50cywgdHJhbnNhY3Rpb25zLCBIb2FyZSBUeXBlIFRoZW9yeSwgc2Vzc2lvbiANCnR5cGVz LA0Kc3Vic3RydWN0dXJhbCBhbmQgcmVnaW9uLWJhc2VkIHR5cGUgc3lzdGVtcyksIGFuZCBhIG51 bWJlciBvZiBkaWZmZXJlbnQgDQpzZW1hbnRpYw0KbW9kZWxzIGFuZCB2ZXJpZmljYXRpb24gdGVj aG5vbG9naWVzIGhhdmUgYmVlbiBkZXZlbG9wZWQgaW4gb3JkZXIgdG8gDQpjb2RpZnkgYW5kDQpl eHBsb2l0IHRoZSBiZW5lZml0cyBvZiB0aGlzIGVuY2Fwc3VsYXRpb24gKGUuZy4gYmlzaW11bGF0 aW9ucywgc3RlcC1pbmRleGVkDQpLcmlwa2UgbG9naWNhbCByZWxhdGlvbnMsIGhpZ2hlci1vcmRl ciBzZXBhcmF0aW9uIGxvZ2ljLCBnYW1lIHNlbWFudGljcywgDQp2YXJpb3VzDQptb2RhbCBsb2dp Y3MpLiBCdXQgdGhlcmUgcmVtYWluIG1hbnkgb3BlbiBwcm9ibGVtcywgYW5kIHRoZSBmaWVsZCBp cyBoaWdobHkNCmFjdGl2ZS4NCg0KVGhlIGdvYWwgb2YgdGhlIEhPUEUgd29ya3Nob3AgaXMgdG8g YnJpbmcgcmVzZWFyY2hlcnMgZnJvbSBhIHZhcmlldHkgb2YNCmRpZmZlcmVudCBiYWNrZ3JvdW5k cyBhbmQgcGVyc3BlY3RpdmVzIHRvZ2V0aGVyIHRvIGV4Y2hhbmdlIG5ldyBhbmQgZXhjaXRpbmcN CmlkZWFzIGNvbmNlcm5pbmcgdGhlIGRlc2lnbiwgc2VtYW50aWNzLCBpbXBsZW1lbnRhdGlvbiwg YW5kIHZlcmlmaWNhdGlvbiBvZg0KaGlnaGVyLW9yZGVyIGVmZmVjdGZ1bCBwcm9ncmFtcy4NCg0K V2Ugd2FudCBIT1BFIHRvIGJlIGFzIGluZm9ybWFsIGFuZCBpbnRlcmFjdGl2ZSBhcyBwb3NzaWJs ZS4gVGhlIHByb2dyYW0gd2lsbA0KdGh1cyBpbnZvbHZlIGEgY29tYmluYXRpb24gb2YgaW52aXRl ZCB0YWxrcywgY29udHJpYnV0ZWQgdGFsa3MgYWJvdXQgd29yayBpbg0KcHJvZ3Jlc3MsIGFuZCBv cGVuLWVuZGVkIGRpc2N1c3Npb24gc2Vzc2lvbnMuIFRoZXJlIHdpbGwgYmUgbm8gcHVibGlzaGVk DQpwcm9jZWVkaW5ncywgYnV0IHBhcnRpY2lwYW50cyB3aWxsIGJlIGludml0ZWQgdG8gc3VibWl0 IHdvcmtpbmcgDQpkb2N1bWVudHMsIHRhbGsNCnNsaWRlcywgZXRjLiwgdG8gYmUgbWFkZSBhdmFp bGFibGUgb25saW5lLg0KDQotLSBUYXJvIFNla2l5YW1hDQpfX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fXwpIYXNrZWxsIG1haWxpbmcgbGlzdCAtLSBoYXNrZWxs QGhhc2tlbGwub3JnClRvIHVuc3Vic2NyaWJlIHNlbmQgYW4gZW1haWwgdG8gaGFza2VsbC1sZWF2 ZUBoYXNrZWxsLm9yZwo=