CINXE.COM

<!DOCTYPE html> <html> <head> <meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1"> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> <link href="https://icfp25.sigplan.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://icfp25.sigplan.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>ICFP 2025</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://icfp25.sigplan.org";</script> <link rel="stylesheet" href="https://icfp25.sigplan.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://icfp25.sigplan.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://icfp25.sigplan.org/getFile/25341cb0-4805-404d-a0ca-6c15b9665212/logobar-icfp25.css?1736524714587" type="text/css" /><link rel="stylesheet" href="https://icfp25.sigplan.org/stylesheets/theme.bootstrap_3.min.css?6867e70881e6ed2c03b6c9cf9c3152e0" type="text/css" /><script type="text/javascript" src="//code.jquery.com/jquery-3.5.1.min.js"></script> <script type="text/javascript" src="https://icfp25.sigplan.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://icfp25.sigplan.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://icfp25.sigplan.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://icfp25.sigplan.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://icfp25.sigplan.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://icfp25.sigplan.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <script type="text/javascript">(function($){ $(document).ready(function(){ $('ul.dropdown-menu [data-toggle=dropdown]').on('click', function(event) { event.preventDefault(); event.stopPropagation(); $(this).parent().siblings().removeClass('open'); $(this).parent().toggleClass('open'); }); }); })(jQuery); </script> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://icfp25.sigplan.org/getImage/carousel/has20plutx1fxpljry2blakbbpxrhh.jpg.avif?1727149613000'> <meta name='description' content='Welcome to the website of the ICFP 2025 conference. The ACM SIGPLAN International Conference on Functional Programming (ICFP) is an annual programming language conference that provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. This year, for the first time in history, ICFP will be co-located with SPLASH and its satellite events as a part of the joint ICFP/SPLASH 2025 conference. W ...'> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='Welcome to the website of the ICFP 2025 conference. The ACM SIGPLAN International Conference on Functional Programming (ICFP) is an annual programming language conference that provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. This year, for the first time in history, ICFP will be co-located with SPLASH and its satellite events as a part of the joint ICFP/SPLASH 2025 conference. W ...'> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='ICFP 2025'> <script type="text/javascript">function addEventModalLoadOnClick( containerNode ){ $(containerNode).find( "a[data-event-modal]" ).on("click", function(e){ var eventId = $(this).data("event-modal"); var modalElem = $("#modal-" + eventId); if(modalElem.length){ modalElem.modal({ backdrop: 'static', keyboard: true}, 'show'); } else { var loaderElem = $("#event-modal-loader"); loaderElem.find("input.event-id-input").val( eventId ); loaderElem.find("#load-modal-action").click(); } e.preventDefault(); } ); } </script><script type="text/javascript">function addStarredEventOnClick( containerNode ){ $(containerNode).find( "[data-event-star]" ).on("click", function(e){ var eventId = $(this).data("event-star"); var starEventFormElem = $("#event-star-form"); starEventFormElem.find("input.event-id-input").val( eventId ); starEventFormElem.find("#star-event-action").click(); e.preventDefault(); e.stopPropagation(); } ); } </script><script type="text/javascript">function pauseOnCloseModal( modalid ){ //pauses video (only youtube at the moment) when closing modal $('#' + modalid).on('hidden.bs.modal', function () { $(this).find('.embed-container iframe[src*=enablejsapi]').each( function(){ this.contentWindow.postMessage('{"event":"command","func":"pauseVideo","args":""}', '*') } ); } ) } </script> </head> <body id="home"><div class="frame"><div class="logobar"><div class="container"><a href="https://icfp25.sigplan.org" class="navbar-brand navigate"><span class="brand-text">ICFP 2025</span></a><div class="place">Sun 12 - Sat 18 October 2025 <a href="https://icfp25.sigplan.org/venue/splash-2025-venue" class="navigate">Singapore</a></div><div class="place2">co-located with <a href="https://conf.researchr.org/home/icfp-splash-2025" class="navigate">ICFP/SPLASH 2025</a></div></div></div><div class="navbar navbar-default"><div class="container"><div class="navbar-header"><button type="button" data-toggle="collapse" data-target="#navigationbar" class="navbar-toggle"><span class="sr-only">Toggle navigation</span><span class="icon-bar"></span><span class="icon-bar"></span><span class="icon-bar"></span></button></div><div id="navigationbar" class="navigationbar collapse navbar-collapse"><ul class="block nav navbar-nav"><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Attending <span class="caret"></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp25.sigplan.org/venue/splash-2025-venue1" class="navigate">Venue (Sunday Workshops): NUS School of Computing</a></li><li class="block"><a href="https://icfp25.sigplan.org/venue/splash-2025-venue" class="navigate">Venue (Main Conference): Marina Bay Sands Convention Centre</a></li><li class="block dropdown-header">ICFP/SPLASH 2025</li><li class="block"><a href="https://icfp25.sigplan.org/attending/Code-of-Conduct" class="indent navigate">Code of Conduct</a></li><li class="block"><a href="https://icfp25.sigplan.org/attending/call-for-sponsorship" class="indent navigate">Call for Sponsorship</a></li></ul></li><li id="tracks-in-navbar" class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Tracks <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-3"><div class="row"><div class="col-sm-5"><ul class="block multi-column-dropdown"><li class="block dropdown-header">ICFP 2025</li><li class="block"><a href="https://icfp25.sigplan.org/track/icfp-2025-artifacts" class="navigate">ICFP Artifacts</a></li><li class="block"><a href="https://icfp25.sigplan.org/track/icfp-2025-papers" class="navigate">ICFP Papers</a></li><li class="block dropdown-header">ICFP/SPLASH 2025</li><li class="block"><a href="https://icfp25.sigplan.org/track/icfp-splash-2025-workshops" class="navigate">Workshops</a></li></ul></div><div class="col-sm-7"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Co-hosted Conferences</li><li class="block"><a href="https://conf.researchr.org/home/icfp-splash-2025/mplr-2025" class="navigate"><strong>MPLR</strong> </a></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SPLASH</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2025.splashcon.org" class="navigate"><span class="glyphicon glyphicon-home"></span> SPLASH</a></li><li class="block"><a href="https://2025.splashcon.org/track/OOPSLA" class="navigate"><strong>SPLASH</strong> OOPSLA</a></li><li class="block"><a href="https://2025.splashcon.org/track/splash-2025-oopsla-artifacts" class="navigate"><strong>SPLASH</strong> OOPSLA Artifacts</a></li><li class="block"><a href="https://2025.splashcon.org/track/splash-2025-Onward-Essays" class="navigate"><strong>SPLASH</strong> Onward! Essays</a></li><li class="block"><a href="https://2025.splashcon.org/track/splash-2025-Onward-papers" class="navigate"><strong>SPLASH</strong> Onward! Papers</a></li><li class="block"><a href="https://2025.splashcon.org/track/splash-2025-Posters" class="navigate"><strong>SPLASH</strong> Posters</a></li><li class="block"><a href="https://2025.splashcon.org/track/splash-2025-SRC" class="navigate"><strong>SPLASH</strong> Student Research Competition</a></li></ul></li><li class="block dropdown-header">Workshops</li><li class="block"><a href="https://conf.researchr.org/home/icfp-splash-2025/lmpl-2025" class="navigate"><strong>LMPL</strong> </a></li><li class="block"><a href="https://conf.researchr.org/home/icfp-splash-2025/minikanren-2025" class="navigate"><strong>miniKanren and Relational Programming Workshop</strong> </a></li><li class="block dropdown-header">Co-hosted Symposia</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SAS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2025.splashcon.org/home/sas-2025" class="navigate"><strong>SAS</strong> </a></li><li class="block"><a href="https://2025.splashcon.org/track/sas-2025-sas-artifact" class="navigate"><strong>SAS</strong> Artifact</a></li></ul></li></ul></div></div></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Organization <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-2"><div class="row"><div class="col-sm-6"><ul class="block multi-column-dropdown"><li class="block dropdown-header">ICFP 2025 Committees</li><li class="block"><a href="https://icfp25.sigplan.org/committee/icfp-2025-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp25.sigplan.org/committee/icfp-2025-steering-committee" class="navigate">Steering Committee</a></li><li class="block dropdown-header">Track Committees </li><li class="block"><a href="https://icfp25.sigplan.org/committee/icfp-2025-artifact-evaluation-artifact-evaluation-committe" class="navigate"><strong>ICFP Artifacts</strong></a></li><li class="block"><a href="https://icfp25.sigplan.org/committee/icfp-2025-papers-icfp-papers-and-events" class="navigate"><strong>ICFP Papers</strong></a></li><li class="block dropdown-header">ICFP/SPLASH</li><li class="block"><a href="https://conf.researchr.org/committee/icfp-splash-2025/icfp-splash-2025-workshops-workshop-selection-committee" class="navigate"><strong>Workshops</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://icfp25.sigplan.org/people-index" class="navigate"><span class="glyphicon glyphicon-search"></span><sup><span class="glyphicon glyphicon-user"></span></sup> People Index</a></li></ul></div><div class="col-sm-6"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Co-hosted Conferences</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>MPLR</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/icfp-splash-2025/mplr-2025-papers-steering-committee" class="navigate">Steering Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/icfp-splash-2025/mplr-2025-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SPLASH</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2025.splashcon.org/committee/splash-2025-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://2025.splashcon.org/committee/splash-2025-steering-committee" class="navigate">Steering Committee</a></li><li class="block"><a href="https://2025.splashcon.org/committee/splash-2025-OOPSLA-oopsla-review-committee" class="navigate"><strong>OOPSLA</strong> <small>OOPSLA Review Committee</small></a></li><li class="block"><a href="https://2025.splashcon.org/committee/splash-2025-OOPSLA-1-external-review---artifact-evaluation-committee" class="navigate"><strong>OOPSLA</strong> <small>External Review / Artifact Evaluation Committee</small></a></li><li class="block"><a href="https://2025.splashcon.org/committee/splash-2025-oopsla-artifacts-artifact-evaluation-committee" class="navigate"><strong>OOPSLA Artifacts</strong></a></li><li class="block"><a href="https://2025.splashcon.org/committee/splash-2025-Onward-Essays-program-committee" class="navigate"><strong>Onward! Essays</strong> <small>Program Committee</small></a></li><li class="block"><a href="https://2025.splashcon.org/committee/splash-2025-Onward-Essays-onward--steering-committee" class="navigate"><strong>Onward! Essays</strong> <small>Onward! Steering Committee</small></a></li><li class="block"><a href="https://2025.splashcon.org/committee/splash-2025-Onward-papers-program-committee" class="navigate"><strong>Onward! Papers</strong> <small>Program Committee</small></a></li><li class="block"><a href="https://2025.splashcon.org/committee/splash-2025-Onward-papers-steering-committee" class="navigate"><strong>Onward! Papers</strong> <small>Steering Committee</small></a></li><li class="block"><a href="https://2025.splashcon.org/committee/splash-2025-Posters-organizing-committee" class="navigate"><strong>Posters</strong></a></li><li class="block"><a href="https://2025.splashcon.org/committee/splash-2025-SRC-organizers" class="navigate"><strong>Student Research Competition</strong> <small>Organizers</small></a></li><li class="block"><a href="https://2025.splashcon.org/committee/splash-2025-SRC-reviewers" class="navigate"><strong>Student Research Competition</strong> <small>Reviewers</small></a></li></ul></li><li class="block dropdown-header">Workshops</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>LMPL</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/icfp-splash-2025/lmpl-2025-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/icfp-splash-2025/lmpl-2025-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>miniKanren and Relational Programming Workshop</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/icfp-splash-2025/minikanren-2025-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="block dropdown-header">Co-hosted Symposia</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>SAS</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://2025.splashcon.org/committee/sas-2025-papers-organizing-committee" class="navigate"><strong>SAS 2025</strong> <small>Organizing Committee</small></a></li><li class="block"><a href="https://2025.splashcon.org/committee/sas-2025-papers-program-committee" class="navigate"><strong>SAS 2025</strong> <small>Program Committee</small></a></li><li class="block"><a href="https://2025.splashcon.org/committee/sas-2025-papers-steering-committee" class="navigate"><strong>SAS 2025</strong> <small>Steering Committee</small></a></li><li class="block"><a href="https://2025.splashcon.org/committee/sas-2025-sas-artifact-sas-artifact-evaluation-committee" class="navigate"><strong>SAS Artifact</strong></a></li></ul></li></ul></div></div></ul></li><li class="block"><a href="https://icfp25.sigplan.org/search//all" class="navigate"><span class="glyphicon glyphicon-search"></span><span class="hidden-sm"> Search</span></a></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle"><span class="hidden-sm">Series <span class="caret"></span></span><span title="Series" class="visible-sm"><span class="glyphicon glyphicon-repeat"></span> <span class="caret"></span></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp25.sigplan.org/series/icfp" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li class="block divider"></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> ICFP 2025</span></li><li class="block"><a href="https://icfp24.sigplan.org" class="navigate">ICFP 2024</a></li><li class="block"><a href="https://icfp23.sigplan.org" class="navigate">ICFP 2023</a></li><li class="block"><a href="https://icfp22.sigplan.org" class="navigate">ICFP 2022</a></li><li class="block"><a href="https://icfp21.sigplan.org" class="navigate">ICFP 2021</a></li><li class="block"><a href="https://icfp20.sigplan.org" class="navigate">ICFP 2020</a></li><li class="block"><a href="https://icfp19.sigplan.org" class="navigate">ICFP 2019</a></li><li class="block"><a href="https://icfp18.sigplan.org" class="navigate">ICFP 2018</a></li><li class="block"><a href="https://icfp17.sigplan.org" class="navigate">ICFP 2017</a></li><li class="block"><a href="https://icfp16.sigplan.org" class="navigate">ICFP 2016</a></li></ul></li></ul><div class="navbar-right"><ul class="block nav navbar-nav"><li class="block"><a href="https://conf.researchr.org/signin/icfp-2025/https%3A%5Es%5Esicfp25.sigplan.org%5Es" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://icfp25.sigplan.org/signup" class="navigate">Sign up</a></li></ul></div></div></div></div><script type="text/javascript">$(document).ready(function(){ $('.carousel').carousel({ interval: 10000 }) }); </script><div id="carousel-fe391d49-95c4-4e38-8a11-28639b273647" data-ride="carousel" class="carousel slide carousel-fade"><ol class="carousel-indicators"><li data-target="#carousel-fe391d49-95c4-4e38-8a11-28639b273647" data-slide-to="0" class="active"></li><li data-target="#carousel-fe391d49-95c4-4e38-8a11-28639b273647" data-slide-to="1"></li><li data-target="#carousel-fe391d49-95c4-4e38-8a11-28639b273647" data-slide-to="2"></li><li data-target="#carousel-fe391d49-95c4-4e38-8a11-28639b273647" data-slide-to="3"></li><li data-target="#carousel-fe391d49-95c4-4e38-8a11-28639b273647" data-slide-to="4"></li><li data-target="#carousel-fe391d49-95c4-4e38-8a11-28639b273647" data-slide-to="5"></li><li data-target="#carousel-fe391d49-95c4-4e38-8a11-28639b273647" data-slide-to="6"></li><li data-target="#carousel-fe391d49-95c4-4e38-8a11-28639b273647" data-slide-to="7"></li><li data-target="#carousel-fe391d49-95c4-4e38-8a11-28639b273647" data-slide-to="8"></li><li data-target="#carousel-fe391d49-95c4-4e38-8a11-28639b273647" data-slide-to="9"></li><li data-target="#carousel-fe391d49-95c4-4e38-8a11-28639b273647" data-slide-to="10"></li><li data-target="#carousel-fe391d49-95c4-4e38-8a11-28639b273647" data-slide-to="11"></li><li data-target="#carousel-fe391d49-95c4-4e38-8a11-28639b273647" data-slide-to="12"></li><li data-target="#carousel-fe391d49-95c4-4e38-8a11-28639b273647" data-slide-to="13"></li></ol><div class="carousel-inner" style="background-color: #FFF;"><div class="item active"><div class="fill" style="background-image:url('https://icfp25.sigplan.org/getImage/carousel/has20plutx1fxpljry2blakbbpxrhh.jpg.avif?1727149613000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>ICFP 2025</h3><h5><p>Singapore</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://icfp25.sigplan.org/getImage/carousel/_E8A0190.jpg.avif?1727150059000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>The Rain Vortex at Jewel Changi Airport</h3><h5><p>Right next to Terminal 1 arrivals</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://icfp25.sigplan.org/getImage/carousel/km0zrij4lexh0fkcdjwfcknlitzvty.jpg.avif?1727134733000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Chinatown</h3><h5></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://icfp25.sigplan.org/getImage/carousel/Merlion5_r1.jpg?1727150883000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Merlion</h3><h5><p>The official mascot of Singapore</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://icfp25.sigplan.org/getImage/carousel/_1838382862839500725e0gb6md90htvl7gcsypgbsmgkvmjze.jpg?1727363940000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Gardens by the Bay</h3><h5></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://icfp25.sigplan.org/getImage/carousel/IMG_4629-4.jpg.avif?1727149925000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Flower Dome</h3><h5></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://icfp25.sigplan.org/getImage/carousel/Art%2Bscience%2Bmuseum_HR_crop.jpeg?1727153883000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>ArtScience Museum</h3><h5></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://icfp25.sigplan.org/getImage/carousel/Lau_Pa_Sat_3.jpg?1727150845000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Lau Pa Sat</h3><h5><p>Satay Street</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://icfp25.sigplan.org/getImage/carousel/0gjonxpgaak0leokp9btzp9od87brf.jpg.avif?1727149979000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Esplanade - Theatres on the Bay</h3><h5><p>aka The Durian</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://icfp25.sigplan.org/getImage/carousel/wdr9yadptetq7dmgtowmvoaarg8ezt.jpg.avif?1727149838000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Singapore Botanic Gardens</h3><h5></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://icfp25.sigplan.org/getImage/carousel/hajilane.jpg?1727365318000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Haji Lane</h3><h5></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://icfp25.sigplan.org/getImage/carousel/zt2ll9julxlvvpv6v5pssrwn3nrthe.jpg.avif?1727150400000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>MacRitchie Treetop Walk </h3><h5></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://icfp25.sigplan.org/getImage/carousel/09_STB%2BSRI%2BNew_Sentosa.jpg.avif?1729791340000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Palawan Beach</h3><h5><p>Southernmost Point of Continental Asia</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://icfp25.sigplan.org/getImage/carousel/NUS+UTown.jpg.avif?1727150501000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>National University of Singapore</h3><h5><p>Education Resource Centre at UTown</p></h5></div></div></div><a href="#carousel-fe391d49-95c4-4e38-8a11-28639b273647" data-slide="prev" class="left carousel-control"><span class="glyphicon glyphicon-chevron-left"></span></a><a href="#carousel-fe391d49-95c4-4e38-8a11-28639b273647" data-slide="next" class="right carousel-control"><span class="glyphicon glyphicon-chevron-right"></span></a></div><div id="content" class="container"><div class="row"><div class="col-sm-7"><div class="row"><div class="col-sm-12"><div class="page-header"><h1>ICFP 2025</h1></div><p>Welcome to the website of the ICFP 2025 conference.</p> <p>The ACM SIGPLAN International Conference on Functional Programming (ICFP) is an annual programming language conference that provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries.</p> <p>This year, for the first time in history, ICFP will be co-located with <a href="https://2025.splashcon.org/">SPLASH</a> and its satellite events as a part of the joint <a href="https://conf.researchr.org/home/icfp-splash-2025">ICFP/SPLASH 2025</a> conference.</p> <p>We are working hard to fill the website with all related information. Please check back soon!</p>  </div></div></div><div class="col-sm-4 col-sm-offset-1 sidebar"><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><span class="glyphicon glyphicon-road"></span> ICFP 2025 Tracks</div></div><div class="panel-body"><div class="all-tracks"><a href="https://icfp25.sigplan.org/track/icfp-2025-artifacts" class="text-muted navigate">ICFP Artifacts</a> | <a href="https://icfp25.sigplan.org/track/icfp-2025-papers" class="text-muted navigate">ICFP Papers</a> | <a href="https://icfp25.sigplan.org/track/icfp-splash-2025-workshops" title="From ICFP/SPLASH 2025" class="text-muted navigate">Workshops and Co-located Events</a><br><a href="javascript:var btn=$('#tracks-in-navbar:not(.open)>a'); if(btn){ if(!btn.is(':visible')){$('.navbar-toggle').click();} } btn.click(); $('html, body').animate({scrollTop: $(btn).offset().top}, 200); void(0);" class="small">Show all tracks</a></div></div></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://icfp25.sigplan.org/dates" class="navigate">Important Dates</a><span class="pull-right"><small>up till Sun 11 May 2025</small></span></div></div><table class="table table-hover important-dates-in-sidebar"><tr href="https://icfp25.sigplan.org/track/splash-2025-oopsla-artifacts" class="clickable-row text-success"><td>Fri 21 Feb 2025 <span title="Timezone: AoE (UTC-12h)"><small><span class="glyphicon glyphicon-time"></span></small></span><br/><em class="text-primary">SPLASH OOPSLA Artifacts</em> Notification Round 1</td></tr><tr href="https://icfp25.sigplan.org/track/icfp-2025-papers" class="clickable-row text-success"><td><strong>Thu 27 Feb 2025</strong> <span title="Timezone: AoE (UTC-12h)"><small><span class="glyphicon glyphicon-time"></span></small></span><br/><em>ICFP Papers</em> <strong>Submission Deadline</strong></td></tr><tr href="https://icfp25.sigplan.org/track/OOPSLA" class="clickable-row text-success"><td><strong>Tue 25 Mar 2025</strong> <span title="Timezone: AoE (UTC-12h)"><small><span class="glyphicon glyphicon-time"></span></small></span><br/><em class="text-primary">SPLASH OOPSLA</em> <strong>Submission R2</strong></td></tr><tr href="https://icfp25.sigplan.org/track/splash-2025-Onward-Essays" class="clickable-row text-success"><td>Thu 24 Apr 2025 <span title="Timezone: AoE (UTC-12h)"><small><span class="glyphicon glyphicon-time"></span></small></span><span class="pull-right"><span title="Date added at Thu 13 Feb 2025" class="label-success label">new</span></span><br/><em class="text-primary">SPLASH Onward! Essays</em> Submission Deadline</td></tr><tr href="https://icfp25.sigplan.org/track/splash-2025-Onward-papers" class="clickable-row text-success"><td>Thu 24 Apr 2025 <span title="Timezone: AoE (UTC-12h)"><small><span class="glyphicon glyphicon-time"></span></small></span><br/><em class="text-primary">SPLASH Onward! Papers</em> Submission deadline</td></tr><tr href="https://icfp25.sigplan.org/home/sas-2025" class="clickable-row text-success"><td>Sun 4 May 2025 <span title="Timezone: AoE (UTC-12h)"><small><span class="glyphicon glyphicon-time"></span></small></span><br/><em class="text-primary">SAS </em> Paper Submission</td></tr><tr href="https://icfp25.sigplan.org/track/icfp-splash-2025-workshops" class="clickable-row text-success"><td><strong>Thu 8 May 2025</strong> <span title="Timezone: AoE (UTC-12h)"><small><span class="glyphicon glyphicon-time"></span></small></span><br/><em class="text-primary">ICFP/SPLASH Workshops</em> <strong>Tutorials Proposal Submission</strong></td></tr><tr href="https://icfp25.sigplan.org/track/sas-2025-sas-artifact" class="clickable-row text-success"><td>Sun 11 May 2025 <span title="Timezone: AoE (UTC-12h)"><small><span class="glyphicon glyphicon-time"></span></small></span><br/><em class="text-primary">SAS Artifact</em> Artifact Submission</td></tr><tr href="https://icfp25.sigplan.org/home/sas-2025" class="clickable-row text-success"><td>Sun 11 May 2025 <span title="Timezone: AoE (UTC-12h)"><small><span class="glyphicon glyphicon-time"></span></small></span><br/><em class="text-primary">SAS </em> Artifact Submission</td></tr><tr href="https://icfp25.sigplan.org/dates" class="clickable-row"><td colspan="42" class="btn-primary"><center> All important dates</center></td></tr></table></div><div class="panel panel-warning"><div class="panel-heading clearfix"><div class="panel-title">Supporters</div></div><table class="table table-hover"><tr href="https://www.comp.nus.edu.sg/" title="National University of Singapore" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="National University of Singapore" src="https://icfp25.sigplan.org/getLogo/9349800c-1484-404a-bf92-ec40c04276a9?1727869413000" class="outputimage"/></span></td><td>In-kind Supporter</td></tr><tr href="https://www.visitsingapore.com/mice/en/" title="Singapore Tourism Board" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Singapore Tourism Board" src="https://icfp25.sigplan.org/getLogo/bd253441-2980-403a-9877-e397eac6af68?1727869487000" class="outputimage"/></span></td><td>In-kind Supporter</td></tr></table></div></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Fri 21 Feb 18:45</em></div></div><div id="notifications-ph" class="webdsl-placeholder"></div><div id="event-modal-loader" class="webdsl-placeholder"><form name="form_131600131703c411e65b13378d08eb1f6672b5a0259" id="form_131600131703c411e65b13378d08eb1f6672b5a0259" action="https://icfp25.sigplan.org/eventDetailsModalByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_131600131703c411e65b13378d08eb1f6672b5a0259" value="1" /><input type="hidden" name="context" value="icfp-2025" /><input name="ae03f7f6f951d515a297b161e922205d" type="text" value="" class="inputString form-control event-id-input"/><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://icfp25.sigplan.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"icfp-2025"},],"form_131600131703c411e65b13378d08eb1f6672b5a0259", this.nextSibling, false,"event-modal-loader"); return false;'></button><a submitid="eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="load-modal-action"></a></form></div><div id="event-star-form" class="webdsl-placeholder"><form name="form_509860938088b48fd14544d4239b498a2cf339e02b" id="form_509860938088b48fd14544d4239b498a2cf339e02b" action="https://icfp25.sigplan.org/eventStarByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_509860938088b48fd14544d4239b498a2cf339e02b" value="1" /><input type="hidden" name="context" value="icfp-2025" /><input name="a0b55aa29cf9431a9461b359872014e3" type="text" value="" class="inputString form-control event-id-input"/><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://icfp25.sigplan.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"icfp-2025"},],"form_509860938088b48fd14544d4239b498a2cf339e02b", this.nextSibling, false,"event-star-form"); return false;'></button><a submitid="eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="star-event-action"></a></form></div><div id="event-modals" class="webdsl-placeholder"></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; addEventModalLoadOnClick(node); addStarredEventOnClick(node); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><footer class="footer"><div class="container"><div class="footer-box"><div class="row"><div class="col-sm-3"><h3><a href="https://icfp25.sigplan.org" class="navigate"><span class="glyphicon glyphicon-home"></span> ICFP 2025</a></h3><div><a href="https://icfp25.sigplan.org/contact" class="navigate"><span class="glyphicon glyphicon-envelope"></span> contact form</a></div><hr/>using <a href="https://conf.researchr.org" class="navigate">conf.researchr.org</a> (<a href="http://yellowgrass.org/roadmap/conf.researchr.org" class="navigate">v1.69.0</a>)<br/><small><a href="https://icfp25.sigplan.org/support" target="_blank" class="navigate"><span class="glyphicon glyphicon-question-sign"></span> Support page</a></small><br/><small></small></div><div class="col-sm-5"><div class="row"><div class="col-sm-6"><h4>Tracks</h4><a href="https://icfp25.sigplan.org/track/icfp-2025-artifacts" class="navigate">ICFP Artifacts</a><br/><a href="https://icfp25.sigplan.org/track/icfp-2025-papers" class="navigate">ICFP Papers</a><br/><br/><h4>ICFP/SPLASH 2025</h4><a href="https://icfp25.sigplan.org/track/icfp-splash-2025-workshops" class="navigate">Workshops</a></div><div class="col-sm-6"><h4>Co-hosted Conferences</h4><a href="https://conf.researchr.org/home/icfp-splash-2025/mplr-2025" class="navigate">MPLR 2025</a><br/><a href="https://2025.splashcon.org" class="navigate">SPLASH 2025</a><br/><h4>Workshops</h4><a href="https://conf.researchr.org/home/icfp-splash-2025/lmpl-2025" class="navigate">LMPL 2025</a><br/><a href="https://conf.researchr.org/home/icfp-splash-2025/minikanren-2025" class="navigate">miniKanren and Relational Programming Workshop 2025</a><br/><h4>Co-hosted Symposia</h4><a href="https://2025.splashcon.org/home/sas-2025" class="navigate">SAS 2025</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://icfp25.sigplan.org/venue/splash-2025-venue1" class="navigate">Venue (Sunday Workshops): NUS School of Computing</a><br><a href="https://icfp25.sigplan.org/venue/splash-2025-venue" class="navigate">Venue (Main Conference): Marina Bay Sands Convention Centre</a><br><a href="https://icfp25.sigplan.org/attending/Code-of-Conduct" class="navigate">Code of Conduct</a><br><a href="https://icfp25.sigplan.org/attending/call-for-sponsorship" class="navigate">Call for Sponsorship</a></div><div class="col-sm-2"><a href="https://icfp25.sigplan.org/signup" class="navigate">Sign Up</a></div></div></div></div></footer></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; let defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').each( function(i,el){ var $e=$(el);$e.tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, sanitize: false, container: 'body' }) } ).on('show.bs.tooltip', function () { let el = this; while (el && window.getComputedStyle(el).position !== 'fixed') { el = el.parentElement; } if(el) $(this).data('bs.tooltip').options.container = el;});$('.tooltip.fade.in, .ui-tooltip-content').remove(); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><script type="text/javascript">jQuery(document).ready(function($) { $(".clickable-row").click(function() { var href = $(this).attr("href"); if( window.location.href.indexOf( href ) < 0 ){ if ($(this).hasClass('new-window') ){ window.open( href ); } else { window.document.location = href; } } }); }); </script></body></html>