Second Call for Participation: ICFP 2019
"'Sam Tobin-Hochstadt' via MLton-user" <[email protected]> Wed, 17 Jul 2019 14:53:28 -0400
| Newsgroups | gmane.comp.lang.ml.mlton.user |
|---|---|
| Message-ID | <[email protected]> |
KiogVGhlIEVhcmx5IFJlZ2lzdHJhdGlvbiBkZWFkbGluZSBpcyB0b21vcnJvdyEgKioKCj09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PQoKQ2FsbCBmb3IgUGFydGljaXBhdGlvbgoKSUNGUCAyMDE5CjI0dGggQUNNIFNJR1BM QU4gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEZ1bmN0aW9uYWwgUHJvZ3JhbW1pbmcKYW5k IGFmZmlsaWF0ZWQgZXZlbnRzCgpBdWd1c3QgMTggLSBBdWd1c3QgMjMsIDIwMTkKQmVybGluLCBH ZXJtYW55Cmh0dHA6Ly9pY2ZwMTkuc2lncGxhbi5vcmcvCgpFYXJseSBSZWdpc3RyYXRpb24gdW50 aWwgSnVseSAxOCEKCj09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PQoKSUNGUCBwcm92aWRlcyBhIGZvcnVtIGZvciByZXNl YXJjaGVycyBhbmQgZGV2ZWxvcGVycyB0byBoZWFyCmFib3V0IHRoZSBsYXRlc3Qgd29yayBvbiB0 aGUgZGVzaWduLCBpbXBsZW1lbnRhdGlvbnMsIHByaW5jaXBsZXMsIGFuZAp1c2VzIG9mIGZ1bmN0 aW9uYWwgcHJvZ3JhbW1pbmcuIFRoZSBjb25mZXJlbmNlIGNvdmVycyB0aGUgZW50aXJlCnNwZWN0 cnVtIG9mIHdvcmssIGZyb20gcHJhY3RpY2UgdG8gdGhlb3J5LCBpbmNsdWRpbmcgaXRzIHBlcmlw aGVyaWVzLgoKVGhpcyB5ZWFyLCBJQ0ZQIGlzIGNvLWxvY2F0ZWQgd2l0aCBCT0JLb25mIQoKICAq IE92ZXJ2aWV3IGFuZCBhZmZpbGlhdGVkIGV2ZW50czoKICAgIGh0dHA6Ly9pY2ZwMTkuc2lncGxh bi5vcmcvaG9tZQoKICAqIFByb2dyYW06CiAgICBodHRwOi8vaWNmcDE5LnNpZ3BsYW4ub3JnL3By b2dyYW0vcHJvZ3JhbS1pY2ZwLTIwMTkKCiAgKiBBY2NlcHRlZCBwYXBlcnM6CiAgICBodHRwOi8v aWNmcDE5LnNpZ3BsYW4ub3JnL3RyYWNrL2ljZnAtMjAxOS1wYXBlcnMKCiAgKiBSZWdpc3RyYXRp b24gaXMgYXZhaWxhYmxlIHZpYToKICAgIGh0dHBzOi8vcmVnbWFzdGVyNC5jb20vMjAxOWNvbmYv SUNGUDE5L3JlZ2lzdGVyLnBocAogICAgRWFybHkgcmVnaXN0cmF0aW9uIGVuZHMgMTggSnVseSwg MjAxOS4KCiAgKiBQcm9ncmFtbWluZyBjb250ZXN0OgogICAgaHR0cHM6Ly9pY2ZwY29udGVzdDIw MTkuZ2l0aHViLmlvLwoKICAqIFN0dWRlbnQgUmVzZWFyY2ggQ29tcGV0aXRpb246CiAgICBodHRw czovL2ljZnAxOS5zaWdwbGFuLm9yZy90cmFjay9pY2ZwLTIwMTktU3R1ZGVudC1SZXNlYXJjaC1D b21wZXRpdGlvbgoKICAqIEZvbGxvdyB1cyBvbiBUd2l0dGVyIGZvciB0aGUgbGF0ZXN0IG5ld3M6 CiAgICBodHRwOi8vdHdpdHRlci5jb20vaWNmcF9jb25mZXJlbmNlCgpJbiBhZGRpdGlvbiB0byBC T0JLb25mICg4LzIxKSwgdGhlcmUgYXJlIHNldmVyYWwgZXZlbnRzIGNvLWxvY2F0ZWQgd2l0aCBJ Q0ZQOgoKICAqIEVybGFuZyBXb3Jrc2hvcCAoOC8xOCkKICAqIEZ1bmN0aW9uYWwgQXJ0LCBNdXNp YywgTW9kZWxpbmcgYW5kIERlc2lnbiAoOC8yMykKICAqIEZ1bmN0aW9uYWwgSGlnaC1QZXJmb3Jt YW5jZSBhbmQgTnVtZXJpY2FsIENvbXB1dGluZyAoOC8xOCkKICAqIEhhc2tlbGwgSW1wbGVtZW50 b3JzJyBXb3Jrc2hvcCAoOC8yMykKICAqIEhhc2tlbGwgU3ltcG9zaXVtICg4LzIyLTgvMjMpCiAg KiBtaW5pS2FucmVuIFdvcmtzaG9wICg4LzIyKQogICogTUwgRmFtaWx5IFdvcmtzaG9wICg4LzIy KQogICogT0NhbWwgV29ya3Nob3AgKDgvMjMpCiAgKiBQcm9ncmFtbWluZyBMYW5ndWFnZXMgTWVu dG9yaW5nIFdvcmtzaG9wICg4LzE4KQogICogU2NoZW1lIFdvcmtzaG9wICg4LzE4KQogICogVHlw ZS1Ecml2ZW4gRGV2ZWxvcG1lbnQgKDgvMTgpCgojIyMgSUNGUCBPcmdhbml6ZXJzCgpHZW5lcmFs IENoYWlyOiBEZXJlayBEcmV5ZXIgKE1QSS1TV1MsIEdlcm1hbnkpCgpBcnRpZmFjdCBFdmFsdWF0 aW9uIENvLUNoYWlyczogU2ltb24gTWFybG93IChGYWNlYm9vaywgVUspCkluZHVzdHJpYWwgUmVs YXRpb25zIENoYWlyOiBBbGFuIEplZmZyZXkgKE1vemlsbGEgUmVzZWFyY2gsIFVTQSkKUHJvZ3Jh bW1pbmcgQ29udGVzdCBPcmdhbmlzZXI6IElseWEgU2VyZ2V5IChZYWxlLU5VUyBDb2xsZWdlLCBT aW5nYXBvcmUpClB1YmxpY2l0eSBhbmQgV2ViIENoYWlyOiBTYW0gVG9iaW4tSG9jaHN0YWR0IChJ bmRpYW5hIFVuaXZlcnNpdHksIFVTQSkKU3R1ZGVudCBSZXNlYXJjaCBDb21wZXRpdGlvbiBDaGFp cjogV2lsbGlhbSBKLiBCb3dtYW4gKFVuaXZlcnNpdHkgb2YgQnJpdGlzaCBDb2x1bWJpYSwgQ2Fu YWRhKQpXb3Jrc2hvcHMgQ28tQ2hhaXI6IENocmlzdG9waGUgU2Nob2xsaWVycyAoVW5pdmVyc2l0 ZWl0IEdlbnQsIEJlbGdpdW0pCiAgICAgICAgICAgICAgICAgICAgSmVubmlmZXIgSGFja2V0dCAo VW5pdmVyc2l0eSBvZiBOb3R0aW5naGFtLCBVSykKQ29uZmVyZW5jZSBNYW5hZ2VyOiBBbm5hYmVs IFNhdGluIChQLkMuSy4pICAgICAgICAgICAgICAgICAgICAKCgojIyMgUEFDTVBMIFZvbHVtZSAz LCBJc3N1ZSBJQ0ZQIDIwMTkKClByaW5jaXBhbCBFZGl0b3I6IEZyYW7Dp29pcyBQb3R0aWVyIChJ bnJpYSwgRnJhbmNlKQoKUmV2aWV3IENvbW1pdHRlZToKCkxlbm5hcnQgQmVyaW5nZXIgKFByaW5j ZXRvbiBVbml2ZXJzaXR5LCBVbml0ZWQgU3RhdGVzKQpKb2FjaGltIEJyZWl0bmVyIChERklOSVRZ IEZvdW5kYXRpb24sIEdlcm1hbnkpCkxhdXJhIE0uIENhc3RybyAoVW5pdmVyc2l0eSBvZiBBIENv cnXDsWEsIFNwYWluKQpFemdpIMOHacOnZWsgKEZhY2Vib29rIExvbmRvbiwgVW5pdGVkIEtpbmdk b20pClBpZXJyZS1FdmFyaXN0ZSBEYWdhbmQgKExJUDYvQ05SUywgRnJhbmNlKQpDaHJpc3RvcyBE aW1vdWxhcyAoTm9ydGh3ZXN0ZXJuIFVuaXZlcnNpdHksIFVuaXRlZCBTdGF0ZXMpCkphY3F1ZXMt SGVucmkgSm91cmRhbiAoQ05SUywgTFJJLCBVbml2ZXJzaXTDqSBQYXJpcy1TdWQsIEZyYW5jZSkK QW5kcmV3IEtlbm5lZHkgKEZhY2Vib29rIExvbmRvbiwgVW5pdGVkIEtpbmdkb20pCkRhYW4gTGVp amVuIChNaWNyb3NvZnQgUmVzZWFyY2gsIFVuaXRlZCBTdGF0ZXMpCkthenV0YWthIE1hdHN1ZGEg KFRvaG9rdSBVbml2ZXJzaXR5LCBKYXBhbikKQnJ1bm8gQy4gZC4gUy4gT2xpdmVpcmEgKFVuaXZl cnNpdHkgb2YgSG9uZyBLb25nLCBDaGluYSkKS2xhdXMgT3N0ZXJtYW5uIChVbml2ZXJzaXR5IG9m IFTDvGJpbmdlbiwgR2VybWFueSkKSmVubmlmZXIgUGF5a2luIChHYWxvaXMsIFVuaXRlZCBTdGF0 ZXMpCkZyYW5rIFBmZW5uaW5nIChDYXJuZWdpZSBNZWxsb24gVW5pdmVyc2l0eSwgVVNBKQpNaWtl IFJhaW5leSAoSW5kaWFuYSBVbml2ZXJzaXR5LCBVU0EpCkNodW5nLWNoaWVoIFNoYW4gKEluZGlh bmEgVW5pdmVyc2l0eSwgVVNBKQpTYW0gU3RhdG9uIChVbml2ZXJzaXR5IG9mIE94Zm9yZCwgVUsp ClBpZXJyZS1ZdmVzIFN0cnViIChFY29sZSBQb2x5dGVjaG5pcXVlLCBGcmFuY2UpCkdlcm1hbiBW aWRhbCAoVW5pdmVyc2l0YXQgUG9saXRlY25pY2EgZGUgVmFsZW5jaWEsIFNwYWluKQoKRXh0ZXJu YWwgUmV2aWV3IENvbW1pdHRlZToKCk1pY2hhZWwgRC4gQWRhbXMgIChVbml2ZXJzaXR5IG9mIFV0 YWgsIFVTQSkKUm9iZXJ0IEF0a2V5ICAoVW5pdmVyc2l0eSBvZiBTdHJhdGhjbHlkZSwgSUspClNo ZW5nIENoZW4gIChVbml2ZXJzaXR5IG9mIExvdWlzaWFuYSBhdCBMYWZheWV0dGUsIFVTQSkKSmFt ZXMgQ2hlbmV5ICAoVW5pdmVyc2l0eSBvZiBFZGluYnVyZ2gsIFVLKQpBZGFtIENobGlwYWxhICAo TWFzc2FjaHVzZXR0cyBJbnN0aXR1dGUgb2YgVGVjaG5vbG9neSwgVVNBKQpFdmVseW5lIENvbnRl amVhbiAoTFJJLCBVbml2ZXJzaXTDqSBQYXJpcy1TdWQsIEZyYW5jZSkgCkdlcm3DoW4gQW5kcsOp cyBEZWxiaWFuY28gIChJUklGLCBVbml2ZXJzaXTDqSBQYXJpcyBEaWRlcm90LCBGcmFuY2UpCkRv bWluaXF1ZSBEZXZyaWVzZSAgKFZyaWplIFVuaXZlcnNpdGVpdCBCcnVzc2VsLCBCZWxnaXVtKQpS aWNoYXJkIEEuIEVpc2VuYmVyZyAgKEJyeW4gTWF3ciBDb2xsZWdlLCBVU0EpCkNvbmFsIEVsbGlv dHQgIChUYXJnZXQsIFVTQSkKU2ViYXN0aWFuIEVyZHdlZyAgKERlbGZ0IFVuaXZlcnNpdHkgb2Yg VGVjaG5vbG9neSwgTmV0aGVybGFuZHMpCk1pY2hhZWwgR3JlZW5iZXJnICAoUG9tb25hIENvbGxl Z2UsIFVTQSkKQWRyaWVuIEd1YXR0byAgKElSSUYsIFVuaXZlcnNpdMOpIFBhcmlzIERpZGVyb3Qs IEZyYW5jZSkKSmVubmlmZXIgSGFja2V0dCAgKFVuaXZlcnNpdHkgb2YgTm90dGluZ2hhbSwgVUsp ClRyb2VscyBIZW5yaWtzZW4gIChVbml2ZXJzaXR5IG9mIENvcGVuaGFnZW4sIERlbm1hcmspCkNo dW5nLUtpbCBIdXIgIChTZW91bCBOYXRpb25hbCBVbml2ZXJzaXR5LCBSZXB1YmxpYyBvZiBLb3Jl YSkKUm9iZXJ0byBJZXJ1c2FsaW1zY2h5ICAoUFVDLVJpbywgQnJhemlsKQpSYW5qaXQgSmhhbGEg IChVbml2ZXJzaXR5IG9mIENhbGlmb3JuaWEsIFNhbiBEaWVnbywgVVNBKQpSYWxmIEp1bmcgIChN UEktU1dTLCBHZXJtYW55KQpPaGFkIEthbW1hciAgKFVuaXZlcnNpdHkgb2YgT3hmb3JkLCBVSykK T2xlZyBLaXNlbHlvdiAoVG9ob2t1IFVuaXZlcnNpdHksIEphcGFuKQpIc2lhbmctU2hhbmcg4oCY Sm9zaOKAmSBLbyAgKE5hdGlvbmFsIEluc3RpdHV0ZSBvZiBJbmZvcm1hdGljcywgSmFwYW4pCk9u ZMWZZWogTGhvdMOhayAgKFVuaXZlcnNpdHkgb2YgV2F0ZXJsb28sIENhbmFkYSkKRGFuIExpY2F0 YSAgKFdlc2xleWFuIFVuaXZlcnNpdHksIFVTQSkKR2VvZmZyZXkgTWFpbmxhbmQgIChEcmV4ZWwg VW5pdmVyc2l0eSwgVVNBKQpTaW1vbiBNYXJsb3cgIChGYWNlYm9vaywgVUspCkFraW1hc2EgTW9y aWhhdGEgIChVbml2ZXJzaXR5IG9mIFRva3lvLCBKYXBhbikKU2hpbi1DaGVuZyBNdSAgKEFjYWRl bWlhIFNpbmljYSwgVGFpd2FuKQpHdWlsbGF1bWUgTXVuY2gtTWFjY2Fnbm9uaSAgKElucmlhLCBG cmFuY2UpCktpbSBOZ3V54buFbiAgKFVuaXZlcnNpdHkgb2YgUGFyaXMtU3VkLCBGcmFuY2UpClVs ZiBOb3JlbGwgIChHb3RoZW5idXJnIFVuaXZlcnNpdHksIFN3ZWRlbikKQXRzdXNoaSBPaG9yaSAg KFRvaG9rdSBVbml2ZXJzaXR5LCBKYXBhbikKUmV4IFBhZ2UgIChVbml2ZXJzaXR5IG9mIE9rbGFo b21hLCBVU0EpClpvZSBQYXJhc2tldm9wb3Vsb3UgIChQcmluY2V0b24gVW5pdmVyc2l0eSwgVVNB KQpOYWRpYSBQb2xpa2FycG92YSAgKFVuaXZlcnNpdHkgb2YgQ2FsaWZvcm5pYSwgU2FuIERpZWdv LCBVU0EpCkpvbmF0aGFuIFByb3R6ZW5rbyAgKE1pY3Jvc29mdCBSZXNlYXJjaCwgVVNBKQpUaWFy ayBSb21wZiAgKFB1cmR1ZSBVbml2ZXJzaXR5LCBVU0EpCkFuZHJlYXMgUm9zc2JlcmcgIChEZmlu aXR5LCBHZXJtYW55KQpLQyBTaXZhcmFtYWtyaXNobmFuICAoVW5pdmVyc2l0eSBvZiBDYW1icmlk Z2UsIFVJKQpOaWNob2xhcyBTbWFsbGJvbmUgIChDaGFsbWVycyBVbml2ZXJzaXR5IG9mIFRlY2hu b2xvZ3ksIFN3ZWRlbikKTWF0dGhpZXUgU296ZWF1ICAoSW5yaWEsIEZyYW5jZSkKU2FuZHJvIFN0 dWNraSAgKENoYWxtZXJzIHwgVW5pdmVyc2l0eSBvZiBHb3RoZW5idXJnLCBTd2VkZW4pCkRvbiBT eW1lICAoTWljcm9zb2Z0LCBVSykKWmFjaGFyeSBUYXRsb2NrICAoVW5pdmVyc2l0eSBvZiBXYXNo aW5ndG9uLCBVU0EpClNhbSBUb2Jpbi1Ib2Noc3RhZHQgIChJbmRpYW5hIFVuaXZlcnNpdHksIFVT QSkKVGFrZXNoaSBUc3VrYWRhICAoVW5pdmVyc2l0eSBvZiBUb2t5bywgSmFwYW4pClRhcm1vIFV1 c3RhbHUgIChSZXlramF2aWsgVW5pdmVyc2l0eSwgSWNlbGFuZCkKQmVub2l0IFZhbGlyb24gIChM UkksIENlbnRyYWxlU3VwZWxlYywgVW5pdi4gUGFyaXMgU2FjbGF5LCBGcmFuY2UpCkRhbmllbCBX aW5vZ3JhZC1Db3J0ICAoVW5pdmVyc2l0eSBvZiBQZW5uc3lsdmFuaWEsIFVTQSkKTmljb2xhcyBX dSAgKFVuaXZlcnNpdHkgb2YgQnJpc3RvbCwgVUspCgotLSAKVG8gdW5zdWJzY3JpYmUgZnJvbSB0 aGlzIGdyb3VwIGFuZCBzdG9wIHJlY2VpdmluZyBlbWFpbHMgZnJvbSBpdCwgc2VuZCBhbiBlbWFp bCB0byBtbHRvbi11c2VyK3Vuc3Vic2NyaWJlQG1sdG9uLm9yZy4KCgoKX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KTUx0b24tdXNlciBtYWlsaW5nIGxpc3QK TUx0b24tdXNlckBsaXN0cy5zb3VyY2Vmb3JnZS5uZXQ7IG1sdG9uLXVzZXJAbWx0b24ub3JnCmh0 dHBzOi8vbGlzdHMuc291cmNlZm9yZ2UubmV0L2xpc3RzL2xpc3RpbmZvL21sdG9uLXVzZXIK