From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Authentication-Results: plum.tunbury.org; dkim=pass (1024-bit key; unprotected) header.d=inria.fr header.i=@inria.fr header.a=rsa-sha256 header.s=dc header.b=rFUYqvyu; dkim=fail reason="signature verification failed" (1024-bit key; unprotected) header.d=deinprogramm.de header.i=@deinprogramm.de header.a=rsa-sha256 header.s=default header.b=ltH0JGiq; dkim-atps=neutral Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=192.134.164.83; helo=mail2-relais-roc.national.inria.fr; envelope-from=caml-list-owner@inria.fr; receiver=tunbury.org Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) (using TLSv1.2 with cipher ECDHE-ECDSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by plum.tunbury.org (Postfix) with ESMTPS id 9D0B24003C for ; Fri, 16 May 2025 10:57:27 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:to:date:message-id:mime-version: content-transfer-encoding:subject:reply-to:sender:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=bzFJ+tJ7OXBmju78ezs89aUBL/CXhHi6vwb6RZZp0Qc=; b=rFUYqvyuf8RpoYdf2RQxSM7Rjo4hHSpiahs1UxVC1Fa9cA0wZwvM4Jp1 wKu6Pyw08ziP7ommbhRQ/17N7qbRHs9C2OnT1rkDsn+Dxq/z5/f6yG7iI Gfu6vFNQ+eA+ptSVy8Ru9ogZQJUI9qtNOAfqSqSSQD9mEHPOzyHL3KC4g w=; Received-SPF: Pass (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr designates 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 include:mailout.safebrands.com a:basic-mail.safebrands.com a:basic-mail01.safebrands.com a:basic-mail02.safebrands.com ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:128.93.162.3 ip4:128.93.162.88 ip4:89.107.174.7 mx ~all" 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 Authentication-Results: mail2-relais-roc.national.inria.fr; spf=Pass smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=hardfail (signature did not verify [final]) header.i=@deinprogramm.de X-IronPort-AV: E=Sophos;i="6.15,293,1739833200"; d="scan'208";a="222418318" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 16 May 2025 12:57:27 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 5D844E0CD6; Fri, 16 May 2025 12:57:26 +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 E79D9E0131 for ; Fri, 16 May 2025 12:57:20 +0200 (CEST) IronPort-SDR: 68271a0f_odGFAyq3bzAw2wethgLYNXKfW2LDp5GbRTPF68HFWZpACu8 5piHVqRFtuhlaGM3vPBkPgC9L0SYHXaUMflInhw== X-IPAS-Result: =?us-ascii?q?A0H1UQAiGSdo/9Oqd6haDgwBAQEBATwBAQEBAgIBAQEBA?= =?us-ascii?q?gEBAQEDAQEBARWBVYFaAgEBAQE6KAd3WhEiBwhJhFWDQA+FLIh2nESCegMuK?= =?us-ascii?q?A8BAwENFAIBAg4WEQECBAEBAwEDggyCLowVAh8GAQQ0EwECBAEBAQEDAgMBA?= =?us-ascii?q?QEBAQEQAQEFAQEBAgEBAgQGAQKBChOFew2CRVGCFgEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBGQINBykuQwYdAQEmEjQCBSECEQEESRsLghZZgiJKAwQNsGOBMoEBggwBA?= =?us-ascii?q?QaBCD4F3DwJgRssAgEBAQEBAYhKAYVsO4RjG4INgRWCeW+CVgsCgTeEBIJpg?= =?us-ascii?q?hgXgQIUhCSELIUWgl+OVYFNeCwBVRMXCwcFgTYzAyAKNBQEGQIUHAESDwQWM?= =?us-ascii?q?h2CDYItT4IdghFwgReCJYZhhEorT4Qne0xagnZAAwttPTcGDhuYBINmBj4aD?= =?us-ascii?q?FYBEzMJAU09KgIOY5JXEQmKf6g0gj+BZoRwhyqWAJdXkwWZASKNZZVZhVeBf?= =?us-ascii?q?yaBWTMaCBwUGoJUATMJCT0DGQ9XkUozgjGCL4ohtiJBNTwCBwEKAQEDCYVEA?= =?us-ascii?q?QOKVzSBSwEB?= IronPort-PHdr: A9a23:BSaTExU31vsgy9SPNQkqAPzYQ8bV8KzqXDF92vMcY1JmTK2v8tzYM VDF4r011RmVBt+ds6oP0LOM7v2ocFdDyKjCmUhBSqAEbwUCh8QSkl5oK+++Imq/EsTXaTcnF t9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6OPn+FJLMgMSrzeCy/IDYbxlViDanbr5/I gu6oR/NusUKjodvJLs9xgXJr3ZIZu9b2X5mKVWPkhnz4cu94IRt/yNMtfw/6sVOS7/6f6M2T bxZCDQpLWU479D1uBfAUAWC+GISXn0ZnRRUDQfF6gr6XorqvSvhquV9wiiaMtboQr0yRD+v8 r1kSB7siCcAKj457GTagdF+ga5HvB6soQF0zInJboGIL/p+Zr3Scs8GRWRPWcZRUjZOAoK6b 4ASC+YMMuJVo4z7qlATrxWxGBOsCfvvxDFWm3H406403OouHg7a0wItBM4OsG3OodnpKKsfS +K4wa/VxjvDdfNW3jL95ZDPfBAgvf6MXah/ftTVyUIyCg3FlkufqZb+MDyLzOQGrm+W7/F4V e2xkW4osB9+oiK0y8gxlIbJh4QVykje9SV+z4Y1P8e3SEt+YdK+DZRfqTiXOo1rScwtX29mo jw1yqEauZGlZigKzowqyhrCZ/CZcIWG7A7vWeKMLTpli3xpZrayihWz/ES8yuPyWdS53VJXo ydLnNfCuX4D2h/X58WIRPZx40mv1CqT2g3V9+pKL0c0la/BJJ4gxL49joATvlrYHiDogkr2l rOZdkU++uSy7OTneLrmqoeTN491lgH+MrkuldelDeQ5NQgCR2ib+eOg1LL/5035WK9GgeExk qncqJzaPsUbpqGhAw9RyIkj7QyzDzC80NQXm3QMMVFLeAqfgoT0OlzDI+r0Aeqij1moijtn2 vLLMqH7DpnTM3TPja/tcLh/5kJG1gY+wspT649JBrwFOv7/R0v8uMDeAxQkLQG0x/vnCM5h1 owAQ2KBH66ZMaLMvlKQ+u4iJfSHapUPtzbnMfcl4ubjjX8nll8ZeqmkxYYYZ265HvRgO0WZe 33sgtgbEWgQuwo+Sfbmh0CcXjJLZnayWbwz5i0jBY67DIrORZqhjKGc0Cq/BJFae2JLBkyWH Xv2aomIRu8AaCeILc9gljwEW6KhS4gk1Ry2rw/606RoLvDP9SIGr5Luz8V66PPSlRE07Tx0F cOd026XT25um2MIQiU6071hrkBlzFeMyrB3g+ZEGtxL+/NJTgA6OIbBw+BiEdD9RhrBfsuVS FahWtipHSs+Ttc1w9MXZ0Z9Gs6ijgzY0iqxA74VkqSLC4Yu/qLd2XjxPcd9xGzc2KkvlVl1C vdIYHC9i7Rk3xLaDI3EjwCdnqClM6MG02qF/26GyS+KvVpEeA92S6TMG34FIgPbt9Dw4EyHV qKjEqgmNQ1a4cOYLqJMZZvul1oCDPfqI9fTZ2aZm26rBhuMwvWLdoWuM2od12DRBVYfuwAa5 nWLMQx4AT2u5yrCHSRjDhfmZUXr7O91pVu/T1Qo1EeRYkR6kaet9xgTw/GQVrdb0K8CkCw67 TNzAEr71tmQFtnE7w5vd74ZYNUh7U1Kzn7xtgpzeJGsaalpwEMdICptuEa78hR8CoxNlYARt H4wxgdoYfaDyF5bfT6C9Zz9O7vPMG795hmqbuja1weNg56t5q4T5aFg+B3YtwazGx9+oh2Ps vFQ2nqYvNDRCRYKFIj2WQAx/gR7oLfTZm884ZnV3DtiK/r8qSfMjvQuAuZt0RO8Z5FHKqrRD xf/CccXHeCiJe0sg0KuYQgNOeUU+KNnd9i+ea6+0bWwdP1lgCrgiG1G5I5n1UfZ7DJxUOTFx b4JzvCexhGAWC31iVLnvs2k0Ztca2QqF3GkgTPhGJYXZqB2etMTDnyyJsSs2thkr5LgWnhA7 lmsHVoD3YmldHJ+dnTb2gtdnQQSqH2jw26jyiBs1isupeyZ1TDPxOLrcFwGPHRKTS9slwWkJ 4/8lN0cUEWyCmph3BK4+Ub3wbRar6VjPiHSR0lPZS3/M2BlVOO5qLODZ8dF7J5gvz9QVaywZ lWTS7i1pBV/sWurBHNT3jo2bRmmt5T/hwZ9h3iUKXM1oHeYMcB8yBHD5cDNEOZL12ljJmEwg j3WC16getixqIzKx9Ga67H4Dj35EMcKKHqOr8vIriaw6Gx0DAfqmvmynoeiCg0myWrh0NIsU yzUrRH6a42t1qKgMOshcFM7YT20o8d8BIx6lZM9wZ8K3n1PzI6N8GANnH3bPdha37rka3UXT DsOhdLYqluAugUrPjeSyoT1W2/IiNB5asOwb3k+1i886dhQD6iO5blB2yd46Andz0qZcb12m TETzuEr4XgRjrQSuQYj+S6aB6gbAUhSOSGEew2g19mlt+0XYW+udeL1z09ihZW7C7rEpAhAW XH/c5NkHClq78w5PkiemHH074jlfpHXY7dx/lWPixraheVPAJ48l/wSny1oI2v4uDspxqY3g Adv0pezoIWcYzwzrOTgW08eb2KtIZlKo3nklsM81o6O0pqqH4l9FzlDR5buQf+yUXoTufnhK weSAWg5o3afF6DYGFz6ig8upHbOHpa3cnCPcSBHnZM7HUjbfRMHxlpNBWZf/NZxDA2hyc3/f V0s4zkQ4gS9sR5Q0qdyMBK5VG7DpQCuYzNySZ6FLRMQ4BsRgiWdecGY8O93GDlVu5O7qwnYY HeDah5CAHshVkGFAUj5Oba07NzFteSVTLnbTbOGcfCVpOpSWu3dj4m335Fs8iykOsiOOGF4C PIh009GG3x0UZe8+X1HW2kckCTDaNSerRG393hsr8yxx//sXRrm+YqFD7YBecUq4R29hr2Pc vKBnCssYygNzYsCnDWbrdpXlE5XkSxlcCOhVKgNpTKYBryFgbdZVlYSIyZjfMpQs/BlgFkLY JeKzIqqjvgi16d9HV5BURaJdtiBXcUROCn9MVrGABzOL7GaPXjRxMqxZ6qgSLpWheESthuqu D/dHVWxdjiEkjDoUVioP4QuxGmDOwdCvYimbht3IWTuTdT+cBq0KtZyiHs6zPU4i2jLOmgVL TVnOxoT/vvJtHIe26onXTYYtzJsNozm026B4vPdK4oKvPcjGSlym+9AoTw7x7ZT8CBYVal1l S/V/ZZlp1CrlPXKyyIyCUQe7G8S1cTS4h0kY/yApfwiET7e8RkA7HudEUEPrtphUJj0vrxIj 8LIn+T1IStD9NTd+Y0dAdLVIYSJKilEU1KhFTjKAQ8CVTPuO3vYghkXi+mf7HeYtLA2p5nqg IAJRaVSUVlzGv5QWSEHVJQSZYx6WD8pi+vRlMkT+X+3twXcXu1Ws5HBTuiVDu/mLTPfgbQON H5qifvoaI8UMIP8wUlrbFJ3yZ/LF0TnVtdIuiR9bwUwrRYF4D1kQ2Y0wU6gdhK17SpZC6uvh hBvwFgbA6xl5HL27lwwPFaPuCYgjBx7h4D+mT7IODe5Kbf4XJkKWXOq5w5oa8K9GlktK1frx ARyPTPADdq5apNseGFtkBXbtoFGHPsaQaAWOHf4KtmbavQuyU5bpT+uwEoB6eaXUPOKdSMmf J+qt2hH1BhqadtzKaGCfcJ0 IronPort-Data: A9a23:/Md47atoqo0o2f/PuUoSgxpOVOfnVGhaMUV32f8akzHdYApBsoF/q tZmKWyOPviKYmOjLtx+aY7noRwDuMTdzIVgQAdsqnhmE34agMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTrSCYEidfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbCRNtspvlDs15K6v4G5B4ARkDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9F5gSNz94X2mVTKlLjFVDmZkh+A8BOsTAezsAG6ZvXAdJHAathZ5plqPgqo DlFncTYpQ7EpcQgksxFO/VTO3kW0aGrZNYriJVw2CCe5xSuTpfi/xlhJGdqHItIoLddO01l0 N8edxkEaADAif3jldpXSsE07igiBMXmPYUHoHZv1zjcCLAqTPgvQY2Tu48ehW5hwJkRRbCEP pNxhTlHNHwsZzVUIloNAp8ktOulh3/naTpXsluQoOw77gA/ySQriuKxaYqPKobiqcN9k2mjl 2Lq3j/DJRAoPf6H9TSH8GyOr7qa9c/8cNtMSuHmnhJwu3WYz2kXTRkXTkeTuui8kkf4WtRFK kVS9DBGkEQp3ECmT9/lRRq3uneBu1gQVrK8DtHW9imrlovSs1zILFIoZRtiboMPvckmBjI1g wrhc8zSORRjt7icSHS4/7iSrC+vNSV9EYPkTX9dJefiy4m7yLzfni7yosBf/LmdovCdJN0d6 zyHrS4mnbIcl8cO0uO38DgrYg5ARLCSEGbZBS2NAgpJCz+Vgqb8N+REDnCBtJ59wH6xFAXpg ZT9s5H2ASBnJcjleNaxaOsMBqq1wP2OLSfRh1Vid7F4qGjyoCX4LN4KsG4uTKuMDiriUW+zC KM0kVMIjKK/wFPzN/MsOupd9uxxl/GwTIq9PhwqRoAWP8AgKWdrAx2ClWbJgT6xziDAYIk/N IuJd8u2RXEcDaVhwXK/SI8gPUwDlkgDKKK6bc6T8ilLJpLCNSHIEOpUbwbmgyJQxPrsnTg5O u13b6OioyizmsWkCsUO2d9McQI5PjIgCIroqsdaUOeGL0A0UCsiEvLdi/dpMYBsg60fxK+C8 2CfS31o7gP1pUTGDgGWNVFlSrfkBqhkoVwBYCcDAFeP2loYW7iJ0psxTZUNQOQYxLRR9sIsF /ghUOecM8tLUQXCqmg8b4GijYlMdyaLpAOpPgimUgc7YpVAZRL7of3kdDS36RshMyuTnuk9q o2GyQn0b8ciRQNjLcCOc9Op7Qq7kkY8kdJIfXnjA4dsamS116YyMA33rPs8A/9UGCX53jHAi jqnW0YJl9fCs6oe0Yfvh5ndi6yLDuEnPE5RP1eD3IaMLSOAo1aSm95RYt2pIwLYenj/opi5R ONvyPr5Dv0LsXBKv6d4EJdp1agO3MTulZAL0jVbGGj3UHrzBoNCOnWm2ex9hp9JzJJduiq0X Rur0fteMrOrJsjkMQAwICwIU+e97swXywLitakNHEbH5SFM7OWmV2dWNEKykyBzFuZ+H74k5 uYDg/QozTKDpCAkCfu8tRAMxV+wdiQBd44FqqAlBJTaj1t361NaPr3ZJCzEwLCOTNRuMXsVJ iKfpIjcte9+xkD9K2cBOkXM+cF/hp0+ng9A43FfBlaOm/vD3uQW2j8I+xsJbw1l9Dd1+MMtB XpKbmpbfb6v+RVsj+h9B1GcIRlLXkClyxag2mk3m338ZGj2cG70dUkWG/uHpWId+EJiJglrx qmSkjvZYGy7bfPK/3UAXGB+oKbeVv13zArJnf6nE+mjH5UXZTnEgLekVVEXqinIUN8Au0nam dZEpOpAS7X3FSo1kZ0JD4O30bcxShfdAEdgRfpn3r0CHECCWTWU9AWNFXuMeZJ2F6SXyXO7N s1gHdIQdhKc0C3VkCsXK5RRKJBJndkoxuE4RJXVGUA8vYCykB9VobPL1y2nhGYUU9Rkysk8D YXKdgO9KG+bhFoKumr3qMB7Z3WzZIgCbwjSwOqOreY7LLMYkeRWaUpp+KCFj3aUFwpG/hyvo wLIYZHN/dFi0YhBm4jNEL1JIgeJdePIS+WD9T6sv+R0bd/gNdnEsyUXoALFOzt6EKQwWdMts 5iwq//ygV34uYgpX1Djm5WuE7dD4eOwVrF1NuP1NHxrojuQavTz4hcs+3GKFrIRqYlzvvKYf gqfbNe8UfU3WN0HnX1cVHV4IiYnUq/yav/tmDO5o/GyESMi6A3gLu681HrXfGpeJz4pOZr/N 1fOgMyQxOtk9aZCOBxVIMtdIc5IEAe2E+9uPdj8riKRAWSUk0uP8Omq3wYp7TbQTGKICoDm6 JbCXQLzbwm2pLqO9txCrohupVcCOR6RWwXrkp41oLaaSgxWDVLq6cwRPJQAEotTnTb70ZS+a DylgK4KF3DmRTodGfnjyI2LY+tdLrVm1hTFyvgB806VbT+sA4yaCb5ksCtti5uzUiW21/mpc Lny5VWpViVcAfhVqSI76vG6h/99wfzAz3cNv0zw+yA379DyHp1SvEFc8MFxueAr3i0DeIgn5 YT4eIycfHyGdA== IronPort-HdrOrdr: A9a23:FF3CXaOEAy5zasBcTtCjsMiBIKoaSvp037BN7TEVdfU1SL37qy nKpp4mPHDP5gr5NEtMpTniAtjifZq/z/9ICOAqVN/IYOCMggSVxe9ZgbcKjweBJxHD X-Talos-CUID: =?us-ascii?q?9a23=3AoMHM12n+/d/iSbyUFYvO41Lke/3XOVuB7XGAeR6?= =?us-ascii?q?SM0pCbZ6TFnaZ/rMnndU7zg=3D=3D?= X-Talos-MUID: =?us-ascii?q?9a23=3AhEsCBAwfic3z6iphFEScCzoEbniaqKmBM3ENvbR?= =?us-ascii?q?dge6FByVSIwuTjjapYKZyfw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.15,293,1739833200"; d="scan'208";a="222418282" X-MGA-submission: =?us-ascii?q?MDHhl6LCYH/e6gGHUVcoCHMS5N99ILpzuZpZcY?= =?us-ascii?q?TLFBIDfQABhlwSo/cEciU30ne/qAm6SA6oWGUMG1SkmKYVteL9ErYcBF?= =?us-ascii?q?ypp+Iz6VtBAim4Q/eKj/9ErjnXHX7Vw1Urk4kgTgiAvXqiyolkvF74am?= =?us-ascii?q?BESWuH/hDzBYeVcxGFD2zkrA=3D=3D?= Received: from deinprogramm.de ([168.119.170.211]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 16 May 2025 12:57:19 +0200 Received: from Tourvel.home.active-group.de (ip-037-024-119-190.um08.pools.vodafone-ip.de [37.24.119.190]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange secp256r1 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by deinprogramm.de (Postfix) with ESMTPSA id 5D94F3AD3F; Fri, 16 May 2025 12:57:18 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=deinprogramm.de; s=default; t=1747393038; bh=RjEcN++x907ygXfp/mBbC8EcjabpSOkPFRUq/0DHhtw=; h=From:To:Subject:Date; b=ltH0JGiqZACe1nQlKmyCQEz4HthHTjhWhYqrEVdyHIZO7BMczoFa+KF+YblwBh4Dn xOsLWUvSVLLKqpXOgU5u3sG6PksOmDSsU+sRSybC17TYNBYgLUniwo9M8Z9sSMUNvZ Trju7uc+a2bsdvjVdGOgmwK0b43KeXeFZsLDzXUA= From: Michael Sperber To: users@racket-lang.org, caml-list@inria.fr, erlang-questions@erlang.org, haskell@haskell.org, ghc-devs@haskell.org, types-announce@lists.seas.upenn.edu, fun@cs.nott.ac.uk, lfcs-interest@inf.ed.ac.uk Date: Fri, 16 May 2025 12:57:17 +0200 Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] 2nd CfP: Functional Programming for Productivity and Performance (FProPer) Reply-To: Michael Sperber X-Loop: caml-list@inria.fr X-Sequence: 19322 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D *** FProPer 2025 -- CALL FOR PAPERS *** Second ACM SIGPLAN Workshop on Functional Programming for Productivity and Performance 16th October 2025, Singapore Co-located with ICFP 2025 https://conf.researchr.org/home/icfp-splash-2025/fproper-2025 =09=09=09=09=20=20=20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D The 2nd ACM SIGPLAN Workshop on Functional Programming for Productivity and Performance (FProPer=E2=80=9925) aims to bring together researchers and practitioners that strive to use or develop declarative languages for combining programmer productivity with the highest levels of runtime performance. The performance aspects are not limited to sequential or parallel runtime performance but encompass all kinds of performance aspects, such as memory footprint or energy consumption as well. Application areas of interest include, but are not limited to, high-performance scientific computing and numerical programming. FProPer is a satellite event of the 30th ACM SIGPLAN International Conference on Functional Programming (ICFP 2025) held in the week of the 12th of October in Singapore. Although FProPer=E2=80=9925 is in its second year, the workshop builds on t= he tradition of the FHPC and FHPNC workshops. The primary change is a broadening of scope from high-performance and numerical computing to a wider range of applications where programmer productivity and performance are both being considered essential. Information on previous workshops can be found here: https://fhpnc.github.io/ Deadlines --------- - Abstract for full papers deadline Saturday, May 31th. - Full Paper submission deadline Saturday, June 14th. - 2-page stand-alone abstract only deadline Saturday, August 2rd. Scope ----- Areas of interest include, but are not limited to: * relevant compiler technologies * runtime systems (including fault tolerance mechanisms and those supporting distributed or parallel computation) * domain-specific languages (embedded or standalone) * type systems * formal methods * software libraries for performance * application studies / use case experiences. Rather than requiring finished work typical for a conference, the workshop aims to provide a forum where researchers and practitioners may report promising new directions and work in progress. The workshop will accept two kinds of submissions. Submissions for regular papers of up to 12 pages will be solicited and reviewed by an international committee. Accepted regular papers are expected to be published by ACM as a workshop proceedings. Submissions for stand-alone abstracts of up to 2 pages will be solicited and reviewed, but will not be published. Submission Details ------------------ Submissions should fall into one of two categories: * Regular research papers (up to 12 pages) * Stand-alone abstracts (1 - 2 pages) The bibliography will not be counted against the page limits for either category. Regular research papers are expected to present novel and interesting research results, and will be included in the formal proceedings. Stand-alone abstracts will be distributed to workshop attendees, but will *not* be included in the formal proceedings. The goal of the stand-alone abstracts is to generate discussion; examples could include works-in-progress, surveys of current research areas, reflections on past research, "position" papers (advocating for specific research directions), or more generally any topic that the authors believe would be valuable for the community. Stand-alone abstracts will be evaluated primarily for relevance and interest. We welcome submissions from PC members (with the exception of the PC Chairs), but these submissions will be held to a higher standard. Submission is handled through the HotCRP site. All submissions should be in portable document format (PDF) and formatted using the ACM SIGPLAN style guidelines. Submissions written with LaTeX are required to use the acmart format and the two-column sigplan subformat (not to be confused with the one-column acmlarge subformat!). Stand-alone abstracts must be submitted with the label 'Extended Abstract' clearly in the title. Submission Link --------------- https://fproper2025.hotcrp.com Publication ----------- The proceedings of FProPer 2025 will be published in the ACM Digital Library. Related links: * Author Information and LaTeX templates: http://www.sigplan.org/Resources/Author/ * Attendee Code of Conduct: http://www.sigplan.org/Resources/Policies/CodeOfConduct/