[2nd CFP] HOPE'25: ACM SIGPLAN Workshop on Higher-Order Programming with Effects
Taro Sekiyama <[email protected]> Mon, 26 May 2025 11:02:25 +0900
| Newsgroups | gmane.comp.lang.haskell.general |
|---|---|
| Message-ID | <[email protected]> |
VEw7RFI6IFRhbGsgcHJvcG9zYWwgZGVhZGxpbmUgZm9yIEhPUEUgMjAyNSBpcyBvbiBNYXkgMjks IDIwMjUuCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0KCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgSE9QRSAy MDI1CgogICAgICAgICAgICAgICAgICBUaGUgMTN0aCBBQ00gU0lHUExBTiBXb3Jrc2hvcCBvbgog ICAgICAgICAgICAgICAgSGlnaGVyLU9yZGVyIFByb2dyYW1taW5nIHdpdGggRWZmZWN0cwoKICAg ICAgICAgICAgICAgICAgICAgICAgICBPY3RvYmVyIDEyLCAyMDI1CiAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgIFNpbmdhcG9yZQogICAgICAgICAgICAgICAgICAgICAodGhlIGRheSBiZWZv cmUgSUNGUCAyMDI1KQoKICAgICAgIGh0dHBzOi8vY29uZi5yZXNlYXJjaHIub3JnL2hvbWUvaWNm cC1zcGxhc2gtMjAyNS9ob3BlLTIwMjUKCgpIT1BFIDIwMjUgYWltcyB0byBicmluZyB0b2dldGhl ciByZXNlYXJjaGVycyBpbnRlcmVzdGVkIGluIHRoZSBkZXNpZ24sCnNlbWFudGljcywgaW1wbGVt ZW50YXRpb24sIGFuZCB2ZXJpZmljYXRpb24gb2YgaGlnaGVyLW9yZGVyIGVmZmVjdGZ1bApwcm9n cmFtcy4gSXQgd2lsbCBiZSAqaW5mb3JtYWwqLCBjb25zaXN0aW5nIG9mIGludml0ZWQgdGFsa3Ms IGNvbnRyaWJ1dGVkIHRhbGtzCm9uIHdvcmsgaW4gcHJvZ3Jlc3MsIGFuZCBvcGVuLWVuZGVkIGRp c2N1c3Npb24gc2Vzc2lvbnMuCgotLS0tLS0tLS0tLS0tLS0tLS0tLS0tCkNhbGwgZm9yIFRhbGsg UHJvcG9zYWxzCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCgpXZSBzb2xpY2l0IHByb3Bvc2FscyBm b3IgY29udHJpYnV0ZWQgdGFsa3MuIFdlIHJlY29tbWVuZCBwcmVwYXJpbmcgcHJvcG9zYWxzIG9m CmF0IG1vc3QgMiBwYWdlcyBleGNsdWRpbmcgcmVmZXJlbmNlcywgaW4gZWl0aGVyIHBsYWluIHRl eHQgb3IgUERGCmZvcm1hdC4gSG93ZXZlciwgd2Ugd2lsbCBhY2NlcHQgbG9uZ2VyIHByb3Bvc2Fs cyBvciBzdWJtaXNzaW9ucyB0byBvdGhlcgpjb25mZXJlbmNlcywgdW5kZXIgdGhlIHVuZGVyc3Rh bmRpbmcgdGhhdCBQQyBtZW1iZXJzIGFyZSBvbmx5IGV4cGVjdGVkIHRvIHJlYWQKdGhlIGZpcnN0 IHR3byBwYWdlcyBvZiBzdWNoIGxvbmdlciBzdWJtaXNzaW9ucy4gV2hlbiBzdWJtaXR0aW5nIHRh bGsgcHJvcG9zYWxzLAphdXRob3JzIHNob3VsZCBzcGVjaWZ5IGhvdyBsb25nIGEgdGFsayB0aGUg c3BlYWtlciB3aXNoZXMgdG8gZ2l2ZS4gQnkgZGVmYXVsdCwKY29udHJpYnV0ZWQgdGFsa3Mgd2ls bCBiZSAzMCBtaW51dGVzIGxvbmcsIGJ1dCBwcm9wb3NhbHMgZm9yIHNob3J0ZXIgb3IgbG9uZ2Vy CnRhbGtzIHdpbGwgYWxzbyBiZSBjb25zaWRlcmVkLiBTcGVha2VycyBtYXkgYWxzbyBzdWJtaXQg c3VwcGxlbWVudGFyeSBtYXRlcmlhbAooZS5nLiBhIGZ1bGwgcGFwZXIsIHRhbGsgc2xpZGVzKSBp ZiB0aGV5IGRlc2lyZSwgd2hpY2ggUEMgbWVtYmVycyBhcmUgZnJlZSAoYnV0Cm5vdCBleHBlY3Rl ZCkgdG8gcmVhZC4KCldlIGFyZSBpbnRlcmVzdGVkIGluIHRhbGtzIG9uIGFsbCB0b3BpY3MgcmVs YXRlZCB0byB0aGUgaW50ZXJhY3Rpb24gb2YKaGlnaGVyLW9yZGVyIHByb2dyYW1taW5nIGFuZCBj b21wdXRhdGlvbmFsIGVmZmVjdHMuIFRhbGtzIGFib3V0IHdvcmsgaW4gcHJvZ3Jlc3MKYXJlIHBh cnRpY3VsYXJseSBlbmNvdXJhZ2VkLiBJZiB5b3UgaGF2ZSBhbnkgcXVlc3Rpb25zIGFib3V0IHRo ZSByZWxldmFuY2Ugb2YgYQpwYXJ0aWN1bGFyIHRvcGljLCBwbGVhc2UgY29udGFjdCB0aGUgUEMg Y2hhaXJzLCBHdWlsaGVtIEphYmVyCihndWlsaGVtLmphYmVyQGlucmlhLmZyKSBhbmQgVGFybyBT ZWtpeWFtYSAodHNla2l5YW1hQGFjbS5vcmcpLgoKRGVhZGxpbmUgZm9yIHRhbGsgcHJvcG9zYWxz OiBNYXkgMjksIDIwMjUgKFRodXJzZGF5KQoKTm90aWZpY2F0aW9uIG9mIGFjY2VwdGFuY2U6ICBK dW5lIDI2LCAyMDI1IChUaHVyc2RheSkKCldvcmtzaG9wOiAgT2N0b2JlciAxMiwgMjAyNSAoU3Vu ZGF5KQoKVGhlIHN1Ym1pc3Npb24gd2Vic2l0ZSBpcyBub3cgb3BlbjoKCiAgICAgICAgICBodHRw czovL2hvcGUyNS5ob3RjcnAuY29tCgotLS0tLS0tLS0tLS0tLS0tLS0tLS0KV29ya3Nob3AgT3Jn YW5pemF0aW9uCi0tLS0tLS0tLS0tLS0tLS0tLS0tLQoKUHJvZ3JhbSBDb21taXR0ZWU6CgpXaWxs aWFtIEouIEJvd21hbiAoVW5pdmVyc2l0eSBvZiBCcml0aXNoIENvbHVtYmlhKQpaZWluYWIgR2Fs YWwgKFVuaXZlcnNpdHkgb2YgQm9sb2duYSkKSnVzdGluIEhzdSAoQ29ybmVsbCBVbml2ZXJzaXR5 KQpHdWlsaGVtIEphYmVyIChOYW50ZXMgVW5pdmVyc2l0w6kpCkRhbmllbGxlIE1hcnNoYWxsIChV bml2ZXJzaXR5IG9mIEdsYXNnb3cpCkFsZXhhbmRyZSBNb2luZSAoTmV3IFlvcmsgVW5pdmVyc2l0 eSkKVGFrYWhpcm8gU2FuYWRhIChGdWt1aSBQcmVmZWN0dXJhbCBVbml2ZXJzaXR5KQpUYXJvIFNl a2l5YW1hIChOYXRpb25hbCBJbnN0aXR1dGUgb2YgSW5mb3JtYXRpY3MpCllhaHVpIFNvbmcgKE5h dGlvbmFsIFVuaXZlcnNpdHkgb2YgU2luZ2Fwb3JlKQpMZW8gV2hpdGUgKEphbmUgU3RyZWV0KQpZ aXpob3UgWmhhbmcgKFVuaXZlcnNpdHkgb2YgV2F0ZXJsb28pCgotLS0tLS0tLS0tLS0tLS0tLS0t LS0KR29hbHMgb2YgdGhlIFdvcmtzaG9wCi0tLS0tLS0tLS0tLS0tLS0tLS0tLQoKQSByZWN1cnJp bmcgdGhlbWUgaW4gbWFueSBwYXBlcnMgYXQgSUNGUCwgYW5kIGluIHRoZSByZXNlYXJjaCBvZiBt YW55IElDRlAKYXR0ZW5kZWVzLCBpcyB0aGUgaW50ZXJhY3Rpb24gb2YgaGlnaGVyLW9yZGVyIHBy b2dyYW1taW5nIHdpdGggdmFyaW91cyBraW5kcyBvZgplZmZlY3RzOiBzdG9yYWdlIGVmZmVjdHMs IEkvTywgY29udHJvbCBlZmZlY3RzLCBjb25jdXJyZW5jeSwgZXRjLiBXaGlsZSBlZmZlY3RzCmFy ZSBvZiBjcml0aWNhbCBpbXBvcnRhbmNlIGluIG1hbnkgYXBwbGljYXRpb25zLCB0aGV5IGFsc28g bWFrZSBjb2RlIGhhcmRlciB0bwpidWlsZCwgbWFpbnRhaW4sIGFuZCByZWFzb24gYWJvdXQuIEhp Z2hlci1vcmRlciBsYW5ndWFnZXMgKGJvdGggZnVuY3Rpb25hbCBhbmQKb2JqZWN0LW9yaWVudGVk KSBwcm92aWRlIGEgdmFyaWV0eSBvZiBhYnN0cmFjdGlvbiBtZWNoYW5pc21zIHRvIGhlbHAg4oCc dGFtZeKAnSBvcgrigJxlbmNhcHN1bGF0ZeKAnSBlZmZlY3RzIChlLmcuIG1vbmFkcyBhbmQgaGFu ZGxlcnMsIEFEVHMsIG93bmVyc2hpcCB0eXBlcywKdHlwZXN0YXRlLCBmaXJzdC1jbGFzcyBldmVu dHMsIHRyYW5zYWN0aW9ucywgSG9hcmUgVHlwZSBUaGVvcnksIHNlc3Npb24gdHlwZXMsCnN1YnN0 cnVjdHVyYWwgYW5kIHJlZ2lvbi1iYXNlZCB0eXBlIHN5c3RlbXMpLCBhbmQgYSBudW1iZXIgb2Yg ZGlmZmVyZW50IHNlbWFudGljCm1vZGVscyBhbmQgdmVyaWZpY2F0aW9uIHRlY2hub2xvZ2llcyBo YXZlIGJlZW4gZGV2ZWxvcGVkIGluIG9yZGVyIHRvIGNvZGlmeSBhbmQKZXhwbG9pdCB0aGUgYmVu ZWZpdHMgb2YgdGhpcyBlbmNhcHN1bGF0aW9uIChlLmcuIGJpc2ltdWxhdGlvbnMsIHN0ZXAtaW5k ZXhlZApLcmlwa2UgbG9naWNhbCByZWxhdGlvbnMsIGhpZ2hlci1vcmRlciBzZXBhcmF0aW9uIGxv Z2ljLCBnYW1lIHNlbWFudGljcywgdmFyaW91cwptb2RhbCBsb2dpY3MpLiBCdXQgdGhlcmUgcmVt YWluIG1hbnkgb3BlbiBwcm9ibGVtcywgYW5kIHRoZSBmaWVsZCBpcyBoaWdobHkKYWN0aXZlLgoK VGhlIGdvYWwgb2YgdGhlIEhPUEUgd29ya3Nob3AgaXMgdG8gYnJpbmcgcmVzZWFyY2hlcnMgZnJv bSBhIHZhcmlldHkgb2YKZGlmZmVyZW50IGJhY2tncm91bmRzIGFuZCBwZXJzcGVjdGl2ZXMgdG9n ZXRoZXIgdG8gZXhjaGFuZ2UgbmV3IGFuZCBleGNpdGluZwppZGVhcyBjb25jZXJuaW5nIHRoZSBk ZXNpZ24sIHNlbWFudGljcywgaW1wbGVtZW50YXRpb24sIGFuZCB2ZXJpZmljYXRpb24gb2YKaGln aGVyLW9yZGVyIGVmZmVjdGZ1bCBwcm9ncmFtcy4KCldlIHdhbnQgSE9QRSB0byBiZSBhcyBpbmZv cm1hbCBhbmQgaW50ZXJhY3RpdmUgYXMgcG9zc2libGUuIFRoZSBwcm9ncmFtIHdpbGwKdGh1cyBp bnZvbHZlIGEgY29tYmluYXRpb24gb2YgaW52aXRlZCB0YWxrcywgY29udHJpYnV0ZWQgdGFsa3Mg YWJvdXQgd29yayBpbgpwcm9ncmVzcywgYW5kIG9wZW4tZW5kZWQgZGlzY3Vzc2lvbiBzZXNzaW9u cy4gVGhlcmUgd2lsbCBiZSBubyBwdWJsaXNoZWQKcHJvY2VlZGluZ3MsIGJ1dCBwYXJ0aWNpcGFu dHMgd2lsbCBiZSBpbnZpdGVkIHRvIHN1Ym1pdCB3b3JraW5nIGRvY3VtZW50cywgdGFsawpzbGlk ZXMsIGV0Yy4sIHRvIGJlIG1hZGUgYXZhaWxhYmxlIG9ubGluZS4KX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX18KSGFza2VsbCBtYWlsaW5nIGxpc3QKSGFza2Vs bEBoYXNrZWxsLm9yZwpodHRwOi8vbWFpbC5oYXNrZWxsLm9yZy9jZ2ktYmluL21haWxtYW4vbGlz dGluZm8vaGFza2VsbAo=