NEU: Festschrift and Workshop in Honor of David Basin (Deadline: 21st May 2026)
"Achim D. Brucker" <[email protected]> Mon, 26 Jan 2026 12:39:54 +0000
| Newsgroups | gmane.comp.lang.haskell.general |
|---|---|
| Message-ID | <[email protected]> |
RGVhciBGZWxsb3cgUmVzZWFyY2hlcnMhDQoNCk91ciBkZWFyIGNvbGxlYWd1ZSBhbmQgZnJpZW5k IERhdmlkIEJhc2luIGlzIHR1cm5pbmcgNjUgaW4gRGVjZW1iZXIgMjAyNiBhbmQgdGhpcyBoYXMg dG8gYmUgY2VsZWJyYXRlZCEgV2UgdGhlcmVmb3JlIG9yZ2FuaXplIGEgRmVzdHNjaHJpZnQgYW5k IGEgRmVzdCB0byBjZWxlYnJhdGUgaGlzIGJpcnRoZGF5IGFuZCBoaXMgZXh0ZW5zaXZlIHJlc2Vh cmNoIGNvbnRyaWJ1dGlvbnMhIA0KDQpUaGUgRmVzdC9jZWxlYnJhdGlvbiBpdHNlbGYgd2lsbCBi ZSBoZWxkIGFzIGEgb25lLWRheSBldmVudCBvbiB0aGUgMTV0aCBvZiBKYW51YXJ5IDIwMjcgYXQg RVRIIFrDvHJpY2guIFdlIGhhdmUgYWxyZWFkeSBjaGVja2VkIHRoYXQgRGF2aWQgaXMgYXZhaWxh YmxlLiBZb3UgZG8gbm90IGhhdmUgdG8ga2VlcCBpdCBhIHNlY3JldCAtIG9uIHRoZSBjb250cmFy eSwgaXQgaXMgZ3JlYXQgaWYgeW91IHNoYXJlIHRoaXMgbWVzc2FnZSB3aXRoIGFueWJvZHkgd2hv IG1pZ2h0IGxpa2UgdG8gY29udHJpYnV0ZSENCg0KV2UgaGVyZWJ5IGNvcmRpYWxseSBpbnZpdGUg eW91IHRvIGNvbnRyaWJ1dGUgYW4gYXJ0aWNsZSB0byB0aGUgRmVzdHNjaHJpZnQgYW5kIHByZXNl bnQgaXQgYXQgdGhlIEZlc3QuIFdlIHdlbGNvbWUgY29udHJpYnV0aW9ucyBpbiBhbGwgYXJlYXMg Y2xvc2UgdG8gRGF2aWQncyByZXNlYXJjaCBhbmQgaW50ZXJlc3RzLCBpbmNsdWRpbmcgYnV0IG5v dCBsaW1pdGVkIHRvIHNlY3VyaXR5LCBwcml2YWN5LCBmb3JtYWwgbWV0aG9kcywgbG9naWMsIGF1 dG9tYXRlZCByZWFzb25pbmcsIG1vZGVsIGNoZWNraW5nLCB0aGVvcmVtIHByb3ZpbmcsIHNvZnR3 YXJlIGVuZ2luZWVyaW5nLCBicmlkZ2UsIGp1Z2dsaW5nLCBiaWtpbmcgYW5kIG1vcmUuIFRoZSBh cnRpY2xlcyB3aWxsIGJlIGxpZ2h0bHkgcmV2aWV3ZWQgYnkgdGhlIEZlc3RzY2hyaWZ0IGNvbW1p dHRlZSwgYW5kIHRoZSBwcm9jZWVkaW5ncyB3aWxsIGJlIHB1Ymxpc2hlZCBieSBTcHJpbmdlciBI ZWlkZWxiZXJnIGluIHRoZSBMTkNTIHNlcmllcy4gRGF2aWQgd2lsbCBvZiBjb3Vyc2UgbG92ZSB0 byByZWNlaXZlIGEgcmVzZWFyY2ggYXJ0aWNsZSBmcm9tIHlvdSwgYnV0IGFsc28gc2hvcnQgcGVy c29uYWwgYXJ0aWNsZXMgdGhhdCBjZWxlYnJhdGUgdGhlIGhpc3RvcnkgYW5kIGZyaWVuZHNoaXAg d2l0aCBEYXZpZCB3aWxsIGJlIHZlcnkgbXVjaCBhcHByZWNpYXRlZC4NCg0KV2Ugd291bGQgbGlr ZSB0byBzZXQgYSBkZWFkbGluZSBmb3Igc3VibWlzc2lvbnMgYXQgdGhlIDIxc3Qgb2YgTWF5IDIw MjYgdmlhIG91ciBzdWJtaXNzaW9uIHNpdGUgPGh0dHBzOi8vZWFzeWNoYWlyLm9yZy9jb25mZXJl bmNlcy8/Y29uZj1mZXNjaGkyMDI3Pi4gQXJ0aWNsZXMgc2hvdWxkIGJlIGZvcm1hdHRlZCBpbiBT cHJpbmdlcuKAmXMgTE5DUyBzdHlsZSBhbmQgbm90IGV4Y2VlZCA1IHBhZ2VzIGZvciBwZXJzb25h bCBhcnRpY2xlcyBhbmQgMTYgcGFnZXMgZm9yIHNjaWVudGlmaWMgYXJ0aWNsZXMuIElmIHlvdSBo YXZlIGEgd29yayB0aGF0IHlvdSB3b3VsZCBsaWtlIHRvIGNvbnRyaWJ1dGUgdGhhdCBkb2VzIG5v dCBmaXQgaW50byB0aGlzIHBhZ2UgbGltaXQsIGl0IG1pZ2h0IGJlIHBvc3NpYmxlLCBidXQgcGxl YXNlIHJlYWNoIG91dCB0byB1cyBmaXJzdC4gDQoNClRoZXJlIHdpbGwgYmUgbm8gcGFydGljaXBh dGlvbiBmZWUgZm9yIHRoZSBGZXN0IGFuZCBjb2ZmZWUgYnJlYWtzLCBsdW5jaCwgYW5kIGRpbm5l ciB3aWxsIGJlIGluY2x1ZGVkLiBUcmF2ZWwgYW5kIGFjY29tbW9kYXRpb24gY29zdHMgYXJlIGF0 IHRoZSBleHBlbnNlIG9mIHRoZSBwYXJ0aWNpcGFudHMuIFdlIGFyZSBoYXBweSB0byBwcm92aWRl IGhvdGVsIHN1Z2dlc3Rpb25zIGZvciBaw7xyaWNoLiAgIA0KDQpTdWJtaXNzaW9uIEluZm9ybWF0 aW9uOg0KDQoqIEZvcm1hdDogMTYgcGFnZXMgaW4gTE5DUyBmb3JtYXQsIHRlbXBsYXRlcyBhdmFp bGFibGUgYXQ6DQogIDxodHRwczovL3d3dy5zcHJpbmdlci5jb20vZ3AvY29tcHV0ZXItc2NpZW5j ZS9sbmNzL2NvbmZlcmVuY2UtcHJvY2VlZGluZ3MtZ3VpZGVsaW5lcz4NCiogU3VibWlzc2lvbjog DQogIDxodHRwczovL2Vhc3ljaGFpci5vcmcvY29uZmVyZW5jZXMvP2NvbmY9ZmVzY2hpMjAyNz4N CiogV2Vic2l0ZSAodW5kZXIgY29uc3RydWN0aW9uKSB3aXRoIHVwZGF0ZXMgYW5kIGZ1cnRoZXIg aW5mb3JtYXRpb246IA0KICA8aHR0cHM6Ly9mZXNjaGkyMDI3LmdpdGh1Yi5pby8+DQoqIFRpbWVs aW5lOg0KICAqIFN1Ym1pc3Npb246ICAgMjEgTWF5IDIwMjYNCiAgKiBOb3RpZmljYXRpb246IGVu ZCBvZiBKdW5lIDIwMjYgKHRvIGJlIGNvbmZpcm1lZCkNCiAgKiBDYW1lcmEgUmVhZHkgQ29weTog ZWFybHkgU2VwdGVtYmVyIDIwMjYgKHRvIGJlIGNvbmZpcm1lZCkNCg0KDQpQbGVhc2UgbGV0IHVz IGtub3cgaWYgeW91IGhhdmUgYW55IHF1ZXN0aW9ucyENCg0KQmVzdCB3aXNoZXMNCkFjaGltIEQu IEJydWNrZXIgKFVuaXZlcnNpdHkgb2YgRXhldGVyKQ0KU2ViYXN0aWFuIE3DtmRlcnNoZWltIChE YW5tYXJrcyBUZWtuaXNrZSBVbml2ZXJzaXRldCkNCkNocmlzdG9waCBTcHJlbmdlciAoRVRIIFrD vHJpY2gpDQpMdWNhIFZpZ2Fuw7IgKEtpbmfigJlzIENvbGxlZ2UgTG9uZG9uKQ0KDQoNCg0KDQpf X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpIYXNrZWxsIG1h aWxpbmcgbGlzdCAtLSBoYXNrZWxsQGhhc2tlbGwub3JnClRvIHVuc3Vic2NyaWJlIHNlbmQgYW4g ZW1haWwgdG8gaGFza2VsbC1sZWF2ZUBoYXNrZWxsLm9yZwo=