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=qoE/9C4A; 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=ofEXg+xM; 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 63237400A2 for ; Fri, 11 Apr 2025 13:56:41 +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=F+qiuBiYdOzobvYq6hby5JIXh14SUzp5+t/qkwNbSpg=; b=qoE/9C4AxszGulbYIwZ2e0TUO2Y/Vbkqj9F3Q9RRtBukiFAC/rHT5TUw jvA//B3zNRIqnlXSuNBbFgW+C6YfgjqSO+U8/nsi9iOoS9+qmzTytXAIR vzyrR67G0e8YnuUTw4zeyrSkgJ33KuqHuaomuovUhGvrCwe/Tf2kMI5E3 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,205,1739833200"; d="scan'208";a="217498648" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 11 Apr 2025 15:56:40 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id B790AE0264; Fri, 11 Apr 2025 15:56:37 +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 C87A4E007A for ; Fri, 11 Apr 2025 15:56:32 +0200 (CEST) IronPort-SDR: 67f91f8f_/IU/iWjv767dyUBWUmCm/CF4mEUOcKk735z8qaDbye5iuHh UqfE28Ze3ohnKjZneTQ4zD22K1Z3L2sInHSi6Gw== X-IPAS-Result: =?us-ascii?q?A0F7BQCXHfln/9Oqd6haDnuDbygHdlozBwhIhFWDT4Uti?= =?us-ascii?q?HZsm1SCewMuKA8BAwENOQgBAgQBAQMBA4IMgi6LcQIfBgEENBMBAgQBAQEBA?= =?us-ascii?q?wIDAQEBAQEBEAEBBQEBAQIBAQIEBgECgQoThXsNgkVRghYBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBARkCDQcpLkMGHQEBJhI0AgUTDgIRAQRJGwuCFlmCZAMEDbBLgTKBA?= =?us-ascii?q?YIMAQEGgQg+Bdw6CYEaLohQAYYnhGMbgg2BFYF8gWyCVgsCgTeEBIJpghoXg?= =?us-ascii?q?QMUgy6EI4Q/hTOCb4xngU0cA1ksAVUTFwsHBYE5MwMgCjQUBBkCFBwBDwYPB?= =?us-ascii?q?Bg1HYF8g3KCME+CN4IRcIEUgieGcoRXLU+EOQMkHUADC209NwYOG5hKhA0GP?= =?us-ascii?q?hoMVgETMwkBgQoqAg5jklcRCYp7qDCCP4FmBYRqhymVfZdUkwOYfiKNY5VYh?= =?us-ascii?q?VaBfiaBWTMaCBwUGoJUATMJCT0DGQ+OWYNCM4Ixgi+KIbkGQTU8AgcBCgEBA?= =?us-ascii?q?wmFRAGKIzSBSwEB?= IronPort-PHdr: A9a23:aobBzxYYznQFWcfPlkEEZg3/LTE32YqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1wWPBd2Qsasd2reempujcFJDyK7CikxKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxB sVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizewb61+I A+qoQnNucUan5ZuJrs1xxbJv3BFZ/lYyWR0KF2cmBrx+t2+8Jl//SpOpvkv7dRAUaL0f6Q5S bxXEjErOH0r6cPoqBfOUxKB6mMTXWsKnBVIBRPF7AzhUZfqriT6rOt91zKEMsDwULs5RC6t7 6ZvSB/vlScHKzs0+3zZh8BskK5Wpg+qqBtizY7Je4GVLORxcb/Bfd0UQmpBW9xeVy1HAoiha 4cCAO4MMeNeooLgpVUBsAG+CBGsCu3x1zFGiHz40qM13Os9Hg/LxxAgH8sUvXjIsNn4LqUfX Oaox6fI1zXDaPZW1C/65ojJbh8hoeuDUqx0ccHM1EcvDx3Kjk+LpoP7JTOey+MAs3OD7+V+T +KgkHAoqxtqrzey2Mgsi4/JhpoPylDD+iV52pw6Jdi9SEJhfNGrDoJduieHPIR5Xs0sWXtnu DomyrIYo567ejAHxZA6yxLBaPGJfZSE7xb+WOuMLjl0mnZodbG+ihqu8UauxfDxW82p3VtEo CRLndfCu3MJ2hHc5MWLV/Vz81u91DuJygvd5OZEIUUumqraLZ4s2qQwmYQIsUvdBCD2gln5j K+Mdkk+/eio8evnbq3ppp+dK490ihz+Pb80lsy+BuQ0KggOX2+H+eugzr3j5Vf1T6lNjv0zi qXZq5HaJcsDpq69GQBV1Jwv6xGlDzep1tkTgHoJLEpddR6ajoXkOEvCLO3lAfq7mVigjTVmy +zcMrH/H5nBM2DPnbPvcLpn9UJQ1Bc/wcpB655JFL0NOuz/VlP1udHeExQ0LQi0w/v8CNVhy IweQ3+BAq6YMazMqVKE+uQiKPSWaoAPojbyMf0l6ubujXAnnV8derGk0oYJZ3C5GPRmO1+ZY X3jgtcbC2gKuw8+QPb3h1KcSTJTZnCyULwg5jwjFY6rDITOSpqwjLCc2Cq3BIBaa2JaBlyWD 3vkapiIV+8JaC2II89hljIEVaKmS48kzRyurxf6xKR9LuXP5CIYr4nu28Vr6O3SkxEy7SZ0D 8OS02GXVW50m2YISyUr069huUB9zEyM3rBig/NEDdxT++9JUgAiOJLB1+B6Ecz9WhrdfteVT 1arWsmpDis0TtI12tMOZ0d9G86+jh3YxCqrA7oVl6SRC5Au86Lc2WLxJ8dnxHrc2qkhlQpuf swaKHarnLVX7QHYBIPV1kGQkanscr4TmGbG/WKHiG6Pp11wUQhqUKyDU2pbLkbMqd3/6QbbU rK1FbUgNBBpxNSGI61FLNrzghEORP74O9naZ0qxknyzCBKMgLSWY86idGUWmSnQFlMskwkI/ nuCMU45HCjl637PFDF1UFvpZUTx9+JzgHe6VVMviRqHZlYnyqK4/BhTiPCBD7sdw7Qsszxnr TJoABC01JTLCJ7IowRqZ+BdZ88w+lpcyUrYsQI7M5DmJqskm11NXR5wuhbL1h53A4hE2fMyo WkgwRA6fbmA3UlLeimw0Z3xPKXNLWbo9RWqLaLbjAKNmO2K87sCvaxr427ouxukQxZzm50G+ 9xc0n/Go47PEBJXS5X6FEA+6xl9objeJCg7/YLdk3N2YuGvqjGX/dUvCaM+zwq4Oc9FOfafD ALoGcAAL8SjKeoygV+mdBsBOaZe+f18JNuoIsOPw7XjJ+N8hHSjhGVD7pp61xeX7ydmQOPS9 5oIwveAxAyITT75iRGtv5O/gphKMAkbBXH30i34HMhRa6l1KJ4MEnurKtary89Wi5PsXWZC8 1G5DlYDnsOkEfaLR3r62wAYlUEeoHj93DC90yQxiTYi6KyWwC3Jxe3mMhsBIG9CAmd43x/qJ sCvgtYWUVLNDUBhnQa55Uv826lQpbhuZ2jVT0BSeiHqLmZkGqKuv7uGasRL5dsmqyJSGOi7Z FmbTPb6rX54m2v4B2ZEzj0hXz2nu5PhhRt1kmuYKTB/oTuReM19wwve+M2JXeRYjV9kDGFzj TjaAET5PsH8pIvE0c6a46bnCDrnDMQKIkyJhcuauSC25HNnG0i6lvG3wJj8FBQilDX83J9sX DnJqxD1Zs/q0b67OKRpZBoNZhe05sxkF4V5ioZ1iosX3C1QnY2Y53AKi0//PNRdwbj5Y2AEQ DtNz9Ofs22HkAVza2mEwY70TCDX2dNsfdO3eEsa1yM799pNB72d6bkCkSY/8T/a5UrBJPN6m Dka0/4n7nUX1voItAQaxSKYGrkOHENcMEQAjjyw5sul5OVSbWerK/2r0VZm2MqmB/eEqx1dX 3DwftEjGzVx54NxKgCE3Hr244DiMN7eCLBb/gaMng3KgvJ9JJ8wkOIQgiV9MGf4+3Eog+I2l h1h25imsZPPcjs9uvvgU1gBaWWzPZpKsjj26MQW1t6bxYWuAolsFn0QUZ3kQOjpWDMeuPL7N hqfRTg1q3OVA73aTmr9oA9tq3PCFYzuNmnCfSdJi4w7FV/EexQZ2llND1BY1tYjGwunxdLsa hJ87zEVvBvjrwdUj/hvPF/5W3veowGhbnE1ToKeJVxY9FInhQ+dPMqA4+Z0Bywd8IemqVnHM XSWfQ5FF0kFV02CH0rkMaOn4NyG/+XSVY/cZ7PeJK6Dr+BTTaLC3oqiyIFr5R6AO8SJJmNlA Ocy308FUX0zSKG7030fDicQkSzKdcuSohyxrzZ2os6I+/PuQAvz5IGLBugaIZB19huxm6vGK /+IiXMzN2NDzp1VjyytqvBXzBsIhippbTXoDbkQqXuHUvfLgqEORxdTbjM7NdMUvftijk8UY J+d04ytkOQh17YjAlNBHzQNg+mRbNcRayG4PVLDXgOQMaieYCfMyIfxaL+9TrtZiKNVsQexs HCVCR2rMjOGnjjvHxehVIMExDmcJwBbsZqhfwxFBWXiSsr8bRKhOdpyyzE7ibE5nXLFM2cAP CM0Kh0d6OTJvGUB3a05QTUYpnN+SIvM0z6U9ezZNoobvbNwDyJ4mvgbqHU2xr1J7T1VEfx4n CyB5tVqolygjqyO0m8+DkoI828awtvU5QM4YPyKk/sIEWzJ9x8M82iKXhEDpt8/T8bqp7gV0 N/E0qT6NDZF9dvQu8oaHcndbsydYx9DeVLkHiDZCAwdQHulL2ba0gZGiPyI/HCPhpQ3q570g p0BULZeURo5G7lJbyYtVMxHO5pxUj4+xPSDi9UU4HOlsBTLbMlXv5bfTPWdG/zqLXCVgPMXA nlAiaO9JoMVOIrh3kVkYVQvh4XGFX3bWtVVqzFgZAs58w1dtWJzRWop1wf5exugtTUNQOWsk Ed82W4cKaw9sS3h6FAtKh/WqTssxQMvzM79j2nZeXb0PO+xRd0EUnSk8RFoY9WiHF4zN1Tr1 VptMDOOL1qwp7dtdGZzkgjTo5JKHLhQQP8dCPf17f2aZvMwy1NTsCyiwAlL6LmdYXONvAcnc Ji0tXVPwQtmaZg5KP6JTJc= IronPort-Data: A9a23:q7e/daCA1CNebxVW/xfnw5YqxClBgxIJ4kV8jS/XYbTApGtw0GBRy zYcUWqBOKzfMGb3ctsiPYW09R9Xu8TUnYUwOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yM6j8lkf5KkYMbcICd9WAR4fykojBNnioYRj5Vh6TSDK1rlV eja/YuGZTdJ5xYuajhJs/7a8Us01BjPkGpwUmIWNagjUGD2zCF94KI3fcmZM3b+S49IKe+2L 86rIGaRows1Vz90Yj+Uuu6Tnn8iGtY+DiDS4pZiYJVOtzAZzsAEPgnXA9JHAatfo23hc9mcU 7yhv7ToIesiFvWkdOjwz3C0usyxVEFL0OavHJSxjSCc53LUbHvy/dxtNXwvB45b9PxuD1pw5 9VNfVjhbjjb7w636L62S+90nMMsNsDuOcUTtxmMzxmAU6ZgGMmSBfyVvZkChW5YasNmRZ4yY +ICcTd1ZhnaSxFCO1EPEpUxhu6tgz/zflW0rXrP/PVrsjiOkFMZPL7FPuiKSveBaJ1spQWf/ G/b3TjcXRE0K4nKodaC2ivy2LOR9c/hY6oZHbi8s/prm0G73X0WEBRQVF2hoPD/hFTWZj5EA 0AZ+yw2t6897kWuS5/xUnVUvUJooDYjScVQDdMT6ziw05DXoAiDH2Y/cCxoPYlOWNANeRQm0 VqAntXMDDNpsaGIRX/1yltyhWPoUcTyBT9YDRLoXTc4D8/fTJYboj+nczqOOKK4j9vtAzb/2 TmPqW4yit3/bPLnNY3gozgrYBr1+PAlqzLZAC2NBwpJCSsjP+aYi3SAswSz0Bq5BN/xo5nol CFsdzKixO4PF4qRsyeGXf8AGrqkj97cb2GA2gY+T8hxqm/1k5JGQWy2yGEkTKuOGpZfEQIFn GeK5lkOv/e/wVPxN/UvPNnvYyjU5fG9SYi9CZg4keaikrAoKlHbokmClGaQ0nz/lkU22aY5P ZadfI6lAh4n5VdPnFKLqiZ0+eFD+x3SMkuCFMmrk0/7juf2ibz8Ye5tDWZip9sRtMusyDg5O f4FXydT40QADL/NcWPM/JQNLFsHC3E+CNqk44ZUb+OPaE4uUm0oF/abk/trdp1HjpZlsL7C3 ki8fUtEl3v5p3nMcjuRZl5ZNbjAYJdYrFAABxIKA2qG4XYYTLyU3P8tTKdvJbgD385//MFwV MgAKpmhAOwQazHp+AY9TJjara5hRiuvmAmuHTSXOxo/daE4Wj7mx97AVSns/RkoESCYm5Yfo bqh9wWDWrsFZV1oI/j3YcKV7WGanCYiisMreGWQOfhVWkHn0LYyGhzLlvVtfv09c0TS9AWVx yO9IEk+p9CUh6QX7dOQp6SPj7nxIttEBkAAQlXqt+enBxL7oFim75RLCtuTXDbnU2jxxqWuS MNVw9z4M9wFhFx6iJV9IZk60ZMB48bTmJECwjRGBHnra3GZOoFkKFSC3uhNsfRp7Z1dsg2UR EmO24d7PZOkBcDbK2MSdTEVNrm76fIpmzfp/asUJmf+73RJ57apaxhZECSNry1/F4FLFr0Z7 90vgvNL1DznuCEWao6Hqgt261WzKmcxVvR7l5MCX67upAkZ6nBDRp3+CR3J5IyES/dSABIII jWr3LfwqIld4mHgcHMDM2fH8sQApJYJuTFMlEQjIXbQkPX7p/YH5j9j2hVpcRZ0lzJpi/lSP EpvPG1LfZS+xS9i3pV/bjr9CjN/Cw280W2v7VkwzUnybVSiD07JJ00DYde9xlgTqT9gT2IK7 YOj6TjXVBjxd5vMxQo0Y0lursLjQfFX9gHvnMOGHdyPL6IlYAjK07OfWm4VlyTJWc8BplXLh e1PztZCbafWMS0xoapiL6K40b8Wag6PJU0cYPVH0Z4KI1rhe2CJ6WDTE3yyR8JDHOyV0EmaD 8c1GNlDeS7j3wmzrxcaJ5U2HZlKoNAT6uEvRJbXNE8dkr7GrjNWoJParSf/o2kwQuRRq8U2K 6KPVje4FmWv2GRfnj7Lp8xqJmCDPNo2Xyzn/eWP6O5SPYkygOJtVkAT07WPoHSeNjV8zS+Up A/uY6z3zfRo7IZRw7vXDaRIAjurJePJVOin9B65t/JMZ4jtNfjimhw0qF69GShrJpoUBspKk IqSvO7N3E/quKg8V0bbkcKjE4hL/cCDY/pFAPnoLXV1nTqwZ+G02kEto1uHEJ1ulM9RwuKFR AHiMcu5SoMzaudnnXZQb3BTLgYZB6HJdZzfnCKarcmXKx0jwAfCfcKG93joUDlhTRU2GabCU y36h/X/wepjjtV8NEdRTbUuSZp1O0TqVqYaZsX8/2vQRHWhhlSZ/KDuj1w84DXMEWOJC9v+/ YmDfBXlaRCuo+vd+bm1aWCpUsE/Vx6RQNXcf37xP/Z6hjG8FHQBIv4UNJBABpw8funaysTjf D+UBIc9IXyVYNiGWUyUDBffssO3CuEPPM/jITMz9kaRLSu7bG9FKKU07T9uuh+aZRO6pNxK6 rgiFrnYMhWwxIlzQukJ7/m+x+tqrh8fKrTk5mil+/HP790i7XnmGZCv8MehlcAKLi0VqHj2G A== IronPort-HdrOrdr: A9a23:paPpJKyhbAQxJJOk2JSWKrPwPb1zdoMgy1knxilNoHtuA6mlfq GV7ZYmPHrP4gr5N0tPpTntAsS9qBDnhP1ICOsqXItKNTOO0ACVxepZgrcKrQeNJ8SzzI5g6Z s= X-Talos-CUID: =?us-ascii?q?9a23=3AsFJttGjcY3Tz9zkGRRPOnD8Z/zJuTW/CzGnuCky?= =?us-ascii?q?BNH9TS/6bU0aew512up87?= X-Talos-MUID: =?us-ascii?q?9a23=3A68u9yw5XzMwl/CsjVcHt3NLxxoxm0fueI0sgyaw?= =?us-ascii?q?9+M7eODFSZxLCjBqoF9o=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.15,205,1739833200"; d="scan'208";a="217498547" X-MGA-submission: =?us-ascii?q?MDF6KvCVpp1eXdXDM2MzC0b84aJgmN763f3MLI?= =?us-ascii?q?0eh/+lwrZ2WQZkhnTJfdYB0lBrHgPF8qDz5mZ1hln/ZTQfnyAMcoTLSY?= =?us-ascii?q?m5pt2SHcjCaMPNPb4WSK9mXm/d+74mRX7MnfgzxgsAUNKHLlBbjpPU+m?= =?us-ascii?q?0rzsl2fE2fvz3YEypMhCK2tA=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; 11 Apr 2025 15:56:30 +0200 Received: from Tourvel.local (p5dc9d4d1.dip0.t-ipconnect.de [93.201.212.209]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by deinprogramm.de (Postfix) with ESMTPSA id CCBB3855B49; Fri, 11 Apr 2025 15:56:28 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=deinprogramm.de; s=default; t=1744379789; bh=KgXSTpIpEmqVaDB1xApJ0ov6I+y4eM13P+vpkVZarVk=; h=From:To:Subject:Date; b=ofEXg+xMb2hXAy0wUh0j54vdc2fGeRM2Yswj7R/wpxVe6CGC0wnAzo0cnZsqqUAg/ Cymxjl+BS8E+bE9LSBjTzNWPHn4FQAmCTWG6r4xDEG3vt4dmu23wDkxvEg6nAKOAmd PgDwa9k0KJ2oWXvIA9wFgHYBKTNXM3YKEc1mWVVc= 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, 11 Apr 2025 15:56:28 +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] Call for Papers: Functional Programming for Productivity and Performance (FProPer) Reply-To: Michael Sperber X-Loop: caml-list@inria.fr X-Sequence: 19293 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/ 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/