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://icfp21.sigplan.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://icfp21.sigplan.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>ICFP 2021</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://icfp21.sigplan.org";</script> <link rel="stylesheet" href="https://icfp21.sigplan.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://icfp21.sigplan.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://icfp21.sigplan.org/getFile/ec57bc86-3f03-41e9-9f28-d06687e17fe2/logobar-with-logo.css?1626571774574" type="text/css" /><link rel="stylesheet" href="https://icfp21.sigplan.org/stylesheets/owl-carousel/owl.theme.css?f23cf727e4fcca9a5470658da5e755c9" type="text/css" /><link rel="stylesheet" href="https://icfp21.sigplan.org/stylesheets/owl-carousel/owl.carousel.css?0371b5a2d50e985b09b7d337edc0dc9f" type="text/css" /><link rel="stylesheet" href="https://icfp21.sigplan.org/stylesheets/owl-carousel/owl.transitions.css?b1bdaeac4065bf67a7d7a06213192964" type="text/css" /><link rel="stylesheet" href="https://icfp21.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://icfp21.sigplan.org/javascript/owl-carousel/owl.carousel.min.js?88d0fe722f04973e2888b58a63aa0570"></script> <script type="text/javascript" src="https://icfp21.sigplan.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://icfp21.sigplan.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://icfp21.sigplan.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://icfp21.sigplan.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://icfp21.sigplan.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://icfp21.sigplan.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <script type="text/javascript">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </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:title' content='ICFP 2021'> <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:image' content='https://icfp21.sigplan.org/getImage/carousel/1+ICFP+2021.JPG?1613918806000'> <meta name='description' content='SIGPLAN CARES will be hosting two sessions on Tuesday, August 24th (tomorrow). The topic for these sessions is creating inclusive conferences and we will discuss the inclusion survey. We’d love for everyone at ICFP to fill out the inclusion survey. ICFP is being held on Airmeet - if you haven’t received an email about it with an invite, please email to videos.icfp21@kaist.ac.kr. Please check the guides for attendees and speakers. Pre-recorded talks with captions provided by the authors will be available on the ICFP YouTube channel and the Bilibili channel. Live talks with live captionin ...'> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='SIGPLAN CARES will be hosting two sessions on Tuesday, August 24th (tomorrow). The topic for these sessions is creating inclusive conferences and we will discuss the inclusion survey. We’d love for everyone at ICFP to fill out the inclusion survey. ICFP is being held on Airmeet - if you haven’t received an email about it with an invite, please email to videos.icfp21@kaist.ac.kr. Please check the guides for attendees and speakers. Pre-recorded talks with captions provided by the authors will be available on the ICFP YouTube channel and the Bilibili channel. Live talks with live captionin ...'> <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://icfp21.sigplan.org" class="navbar-brand navigate"><span class="brand-text">ICFP 2021</span></a><div class="place">Sun 22 - Sat 28 August 2021 <a href="https://icfp21.sigplan.org/venue/icfp-2021-venue" class="navigate"></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://icfp21.sigplan.org/venue/icfp-2021-venue" class="navigate">Venue: Virtual</a></li><li class="block"><a href="https://icfp21.sigplan.org/attending/students" class="navigate">Student Volunteers</a></li><li class="block"><a href="https://icfp21.sigplan.org/attending/code-of-conduct" class="navigate">Code of Conduct</a></li><li class="block"><a href="https://icfp21.sigplan.org/attending/call-for-sponsorship" class="navigate">Call For Sponsorship</a></li><li class="block"><a href="https://icfp21.sigplan.org/attending/Registration" class="navigate">Registration</a></li><li class="block"><a href="https://icfp21.sigplan.org/attending/accessibility" class="navigate">Accessibility</a></li></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Program <span class="caret"></span></a><ul id="program-menu" class="block dropdown-menu"><li class="block"><a href="https://icfp21.sigplan.org/program/program-icfp-2021/" class="navigate">ICFP Program</a></li><li class="block"><a href="https://icfp21.sigplan.org/program/program-icfp-2021/" data-fltr-type="prog" data-fltr-val="Your Program" class="navigate"><span class="glyphicon glyphicon-star"></span> Your Program</a></li><li class="block divider"></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Filter by Day</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp21.sigplan.org/program/program-icfp-2021/" data-fltr-type="date" data-fltr-val="Sun 22 Aug 2021" class="navigate">Sun 22 Aug</a></li><li class="block"><a href="https://icfp21.sigplan.org/program/program-icfp-2021/" data-fltr-type="date" data-fltr-val="Mon 23 Aug 2021" class="navigate">Mon 23 Aug</a></li><li class="block"><a href="https://icfp21.sigplan.org/program/program-icfp-2021/" data-fltr-type="date" data-fltr-val="Tue 24 Aug 2021" class="navigate">Tue 24 Aug</a></li><li class="block"><a href="https://icfp21.sigplan.org/program/program-icfp-2021/" data-fltr-type="date" data-fltr-val="Wed 25 Aug 2021" class="navigate">Wed 25 Aug</a></li><li class="block"><a href="https://icfp21.sigplan.org/program/program-icfp-2021/" data-fltr-type="date" data-fltr-val="Thu 26 Aug 2021" class="navigate">Thu 26 Aug</a></li><li class="block"><a href="https://icfp21.sigplan.org/program/program-icfp-2021/" data-fltr-type="date" data-fltr-val="Fri 27 Aug 2021" class="navigate">Fri 27 Aug</a></li><li class="block"><a href="https://icfp21.sigplan.org/program/program-icfp-2021/" data-fltr-type="date" data-fltr-val="Sat 28 Aug 2021" class="navigate">Sat 28 Aug</a></li></ul></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 2021</li><li class="block"><a href="https://icfp21.sigplan.org/track/icfp-2021-jfp-talks" class="navigate">JFP Talks</a></li><li class="block"><a href="https://icfp21.sigplan.org/track/icfp-2021-pltea" class="navigate">PLTea</a></li><li class="block"><a href="https://icfp21.sigplan.org/track/icfp-2021-papers" class="navigate">Research Papers</a></li><li class="block"><a href="https://icfp21.sigplan.org/track/icfp-2021-social-events" class="navigate">Social Events</a></li><li class="block"><a href="https://icfp21.sigplan.org/track/icfp-2021-artifact-evaluation" class="navigate">Artifact Evaluation</a></li><li class="block"><a href="https://icfp21.sigplan.org/track/icfp-2021-student-research-competition" class="navigate">Student Research Competition</a></li><li class="block"><a href="https://icfp21.sigplan.org/track/icfp-2021-workshops" class="navigate">Workshops</a></li><li class="block"><a href="https://icfp21.sigplan.org/track/icfp-2021-tutorials" class="navigate">Tutorials</a></li><li class="block"><a href="https://icfp21.sigplan.org/track/icfp-2021-icfp-programming-contest" class="navigate">ICFP Programming Contest</a></li><li class="block"><a href="https://icfp21.sigplan.org/track/icfp-2021-student-volunteers" class="navigate">Student Volunteers</a></li></ul></div><div class="col-sm-7"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Workshops</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Erlang</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp21.sigplan.org/home/erlang-2021" class="navigate"><strong>Erlang</strong> </a></li><li class="block"><a href="https://icfp21.sigplan.org/details/erlang-2021-papers/7/Fifteen-Years-of-Successfully-Dialyzing-Erlang-and-Elixir-Code-Keynote-" class="small menu-advertised-event navigate">- Fifteen Years of Successfully Dialyzing Erlang and Elixir Code (Keynote)</a></li></ul></li><li class="block"><a href="https://icfp21.sigplan.org/home/farm-2021" class="navigate"><strong>FARM</strong> </a></li><li class="block"><a href="https://icfp21.sigplan.org/home/FHPNC-2021" class="navigate"><strong>FHPNC</strong> </a></li><li class="block"><a href="https://icfp21.sigplan.org/home/hiw-2021" class="navigate"><strong>HIW</strong> </a></li><li class="block"><a href="https://icfp21.sigplan.org/home/hope-2021" class="navigate"><strong>HOPE</strong> </a></li><li class="block"><a href="https://icfp21.sigplan.org/home/mlfamilyworkshop-2021" class="navigate"><strong>ML</strong> </a></li><li class="block"><a href="https://icfp21.sigplan.org/home/ocaml-2021" class="navigate"><strong>OCaml</strong> </a></li><li class="block"><a href="https://icfp21.sigplan.org/home/PLMW-ICFP-2021" class="navigate"><strong>PLMW @ ICFP</strong> </a></li><li class="block"><a href="https://icfp21.sigplan.org/home/scheme-2021" class="navigate"><strong>Scheme</strong> </a></li><li class="block"><a href="https://icfp21.sigplan.org/home/TyDe-2021" class="navigate"><strong>TyDe</strong> </a></li><li class="block"><a href="https://icfp21.sigplan.org/home/minikanren-2021" class="navigate"><strong>miniKanren</strong> </a></li><li class="block dropdown-header">Co-hosted Symposia</li><li class="block"><a href="https://icfp21.sigplan.org/home/haskellsymp-2021" class="navigate"><strong>Haskell</strong> </a></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 2021 Committees</li><li class="block"><a href="https://icfp21.sigplan.org/committee/icfp-2021-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp21.sigplan.org/committee/icfp-2021-steering-committee" class="navigate">Steering Committee</a></li><li class="block"><a href="https://icfp21.sigplan.org/committee/icfp-2021-virtualization-committee" class="navigate">Virtualization Committee</a></li><li class="block dropdown-header">Track Committees </li><li class="block"><a href="https://icfp21.sigplan.org/committee/icfp-2021-pltea-pltea-organization" class="navigate"><strong>PLTea</strong></a></li><li class="block"><a href="https://icfp21.sigplan.org/committee/icfp-2021-papers-program-committee" class="navigate"><strong>Research Papers</strong></a></li><li class="block"><a href="https://icfp21.sigplan.org/committee/icfp-2021-student-research-competition-program-committee" class="navigate"><strong>Student Research Competition</strong></a></li><li class="block"><a href="https://icfp21.sigplan.org/committee/icfp-2021-tutorials-selection-committee" class="navigate"><strong>Tutorials</strong></a></li><li class="block"><a href="https://icfp21.sigplan.org/committee/icfp-2021-student-volunteers-student-volunteers-committee" class="navigate"><strong>Student Volunteers</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://icfp21.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">Workshops</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Erlang</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp21.sigplan.org/committee/erlang-2021-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp21.sigplan.org/committee/erlang-2021-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>FARM</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp21.sigplan.org/committee/farm-2021-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp21.sigplan.org/committee/farm-2021-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>FHPNC</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp21.sigplan.org/committee/FHPNC-2021-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp21.sigplan.org/committee/FHPNC-2021-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>HIW</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp21.sigplan.org/committee/hiw-2021-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>HOPE</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp21.sigplan.org/committee/hope-2021-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>ML</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp21.sigplan.org/committee/mlfamilyworkshop-2021-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp21.sigplan.org/committee/mlfamilyworkshop-2021-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>OCaml</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp21.sigplan.org/committee/ocaml-2021-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp21.sigplan.org/committee/ocaml-2021-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>PLMW @ ICFP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp21.sigplan.org/committee/PLMW-ICFP-2021-organizing-committee" class="navigate">Organizing Committee</a></li></ul></li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Scheme</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp21.sigplan.org/committee/scheme-2021-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp21.sigplan.org/committee/scheme-2021-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>TyDe</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp21.sigplan.org/committee/tyde-2021-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</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp21.sigplan.org/committee/minikanren-2021-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp21.sigplan.org/committee/minikanren-2021-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>Haskell</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp21.sigplan.org/committee/haskellsymp-2021-Haskell-2020-1-program-committee" class="navigate">Program Committee</a></li></ul></li></ul></div></div></ul></li><li class="block"><a href="https://icfp21.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://icfp21.sigplan.org/series/icfp" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li class="block divider"></li><li class="block"><a href="https://icfp25.sigplan.org" class="navigate">ICFP 2025</a></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"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> ICFP 2021</span></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-2021/https%3A%5Es%5Esicfp21.sigplan.org%5Es" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://icfp21.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-ce410ba2-5c6b-495c-afd8-8bfca74d6b44" data-ride="carousel" class="carousel slide carousel-fade"><ol class="carousel-indicators"><li data-target="#carousel-ce410ba2-5c6b-495c-afd8-8bfca74d6b44" data-slide-to="0" class="active"></li><li data-target="#carousel-ce410ba2-5c6b-495c-afd8-8bfca74d6b44" data-slide-to="1"></li><li data-target="#carousel-ce410ba2-5c6b-495c-afd8-8bfca74d6b44" data-slide-to="2"></li><li data-target="#carousel-ce410ba2-5c6b-495c-afd8-8bfca74d6b44" data-slide-to="3"></li><li data-target="#carousel-ce410ba2-5c6b-495c-afd8-8bfca74d6b44" data-slide-to="4"></li></ol><div class="carousel-inner" style="background-color: #FFF;"><div class="item active"><div class="fill" style="background-image:url('https://icfp21.sigplan.org/getImage/carousel/1+ICFP+2021.JPG?1613918806000');"></div><div class="attribution">Photo by <em>KAIST</em></div><div class="carousel-caption"><h3>ICFP 2021</h3><h5><p>Virtual</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://icfp21.sigplan.org/getImage/carousel/2+Spring.jpg?1613918976000');"></div><div class="attribution">Photo by <em>KAIST</em></div><div class="carousel-caption"><h3>Spring</h3><h5><p>Virtual</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://icfp21.sigplan.org/getImage/carousel/3+Summer.jpg?1613919403000');"></div><div class="attribution">Photo by <em>KAIST</em></div><div class="carousel-caption"><h3>Summer</h3><h5><p>Virtual</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://icfp21.sigplan.org/getImage/carousel/4+Fall.jpg?1613919803000');"></div><div class="attribution">Photo by <em>Seunghyup Yoo</em></div><div class="carousel-caption"><h3>Fall</h3><h5><p>Virtual</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://icfp21.sigplan.org/getImage/carousel/5+Winter+copy.jpg?1613920323000');"></div><div class="attribution">Photo by <em>Seunghyup Yoo</em></div><div class="carousel-caption"><h3>Winter</h3><h5><p>Virtual</p></h5></div></div></div><a href="#carousel-ce410ba2-5c6b-495c-afd8-8bfca74d6b44" data-slide="prev" class="left carousel-control"><span class="glyphicon glyphicon-chevron-left"></span></a><a href="#carousel-ce410ba2-5c6b-495c-afd8-8bfca74d6b44" 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 2021</h1></div><p>SIGPLAN CARES will be hosting two sessions on Tuesday, August 24th (tomorrow). The topic for these sessions is creating inclusive conferences and we will discuss the inclusion survey. We’d love for everyone at ICFP to fill out <strong><a href="https://docs.google.com/forms/d/e/1FAIpQLSedpq9cu8BIuyVo2jNZwifuKXPs9fkLRZ9PeDa6qpKohMDk8g/viewform">the inclusion survey</a></strong>.</p> <p>ICFP is being held on Airmeet - if you haven’t received an email about it with an invite, please email to <a href="mailto:videos.icfp21@kaist.ac.kr">videos.icfp21@kaist.ac.kr</a>.</p> <p><strong>Please check the guides for <a href="https://docs.google.com/document/d/1Fu-DbwX27B7DZ7M9e2vyUQvm5jMHbsz5GdnogcDgjXs/edit">attendees</a> and <a href="https://docs.google.com/document/d/1gqUAUapSJjH4JuR0plPaevQUOE__jFS_Pznh9R1tv7o/edit">speakers</a>.</strong></p> <p>Pre-recorded talks with captions provided by the authors will be available on <strong><a href="https://www.youtube.com/playlist?list=PLyrlk8Xaylp5ed_Yhg2oTdVhrtVohVaoa">the ICFP YouTube channel</a></strong> and <strong><a href="https://space.bilibili.com/652012235">the Bilibili channel</a></strong>. Live talks with live captioning supported by Jane Street will also be available on <strong><a href="https://www.youtube.com/playlist?list=PLyrlk8Xaylp5ed_Yhg2oTdVhrtVohVaoa">the ICFP YouTube channel</a></strong> and <strong><a href="https://live.iqiyi.com/177380">the iQiyi Room</a></strong>.</p> <p>To help curious minds, the ICFP talk videos are now available on <strong><a href="https://www.youtube.com/playlist?list=PLyrlk8Xaylp5ed_Yhg2oTdVhrtVohVaoa">the ICFP YouTube channel</a></strong>.</p> <p><strong><a href="https://icfp21.sigplan.org/attending/Registration">Registration</a> is now open!</strong></p> <p>ICFP 2021 is the 26th ACM SIGPLAN International Conference on Functional Programming. The conference is a virtual event during the dates of August 22-27, 2021 and all activities take place <a href="https://icfp21.sigplan.org/venue/icfp-2021-venue">online</a>.</p> <p>The main program features keynotes, technical presentations for papers appearing in “PACMPL Vol 5: Issue ICFP,” as well as an awards session, and a special session of papers recently appearing in the <a href="https://www.cambridge.org/core/journals/journal-of-functional-programming">Journal of Functional Programming</a>.</p> <p>The two invited speakers for 2021 are <a href="http://people.cs.uchicago.edu/~rchugh/">Ravi Chugh</a> and <a href="https://glassmanlab.seas.harvard.edu/glassman.html">Elena Glassman</a>.</p> <p>The ICFP technical program includes <a href="https://icfp21.sigplan.org/track/icfp-2021-papers#event-overview">35 exciting papers</a>, as well as presentations of <a href="https://icfp21.sigplan.org/track/icfp-2021-jfp-talks">4 papers</a> accepted recently to the Journal of Functional Programming.</p> <p>Co-located symposia and workshops take place the day before and two days immediately after the main conference. We also have exciting <a href="https://icfp21.sigplan.org/track/icfp-2021-tutorials#program">5 tutorials</a> lined up during these days.</p> </div></div><div class="row"><div class="col-sm-12"><h3>Keynotes</h3><div id="0fee0c5b36ef93111dff8b44c98e9540wrapper"><div id="0fee0c5b36ef93111dff8b44c98e9540"><a href="https://icfp21.sigplan.org/details/icfp-2021-papers/41/Fun-Funky-Functional-The-Pursuit-of-Better-User-Interfaces-for-Programming" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Ravi Chugh" src="https://icfp21.sigplan.org/getProfileImage/ravichugh/16e2b58f-3567-422d-b449-10dc724f22c7/avatar.jpg?1711474667000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Fun, Funky, Functional: The Pursuit of Better User Interfaces for Programming</h5><h6><i>Ravi Chugh</i></h6></div></div></div></a><a href="https://icfp21.sigplan.org/details/icfp-2021-papers/42/Building-PL-Powered-Systems-for-Humans" class="highlight-carousel-item navigate"><div class="thumbnail"><span style="position:absolute;"></span><img alt="Elena Glassman" src="https://icfp21.sigplan.org/getProfileImage/elenaglassman/c7a22c4a-8deb-4105-9900-c23614985c81/avatar.jpg?1711471785000" class="outputimage owl-top"/><div class="caption"><div class="owl-bottom"><h5>Building PL-Powered Systems for Humans</h5><h6><i>Elena Glassman</i></h6></div></div></div></a></div></div><script type="text/javascript">$(document).ready(function() { $("#0fee0c5b36ef93111dff8b44c98e9540").owlCarousel({ autoPlay: 15000, //Set AutoPlay to 15 sec items : 4, itemsDesktop : [1199,4], itemsDesktopSmall : [979,4], itemsTablet: [768,3], itemsTabletSmall: [600,2], itemsMobile: [479,2], itemsScaleUp: false, stopOnHover: true, responsiveBaseWidth: "#0fee0c5b36ef93111dff8b44c98e9540wrapper" }); }); </script><script type="text/javascript">$(window).on('load', function() { var a = [/*"owl-top",*/ "owl-bottom"]; a.forEach(function(cl) { var maxHeight=0; $('#0fee0c5b36ef93111dff8b44c98e9540 .' + cl + ',#0fee0c5b36ef93111dff8b44c98e9540 .' + cl + ' *').each(function () { var thisHeight = $(this).outerHeight( true ); if (thisHeight > maxHeight ){ maxHeight = thisHeight; } }); $('#0fee0c5b36ef93111dff8b44c98e9540 .' + cl).css('height', maxHeight); }); }); </script></div></div><div class="row"><div class="col-sm-12"><div class="page-header"><h3>Schedule Overview</h3></div> <center class="scrollable"> <style type="text/css"> center.scrollable{ overflow-x: scroll; overflow: scroll;} .tg {border-collapse:collapse;border-spacing:8px;} .tg td{font-family:Arial, sans-serif;font-size:14px;padding:10px 10px;border-style: hidden;overflow:hidden;word-break:normal} .tg th{font-family:Arial, sans-serif;font-size:14px;font-weight:normal;padding:10px 10px;border-style:solid;border-width:0px;overflow:hidden;word-break:normal;color:black} .tg .tg-symp{background-color:#BB00BB} .tg .tg-work0{background-color:#BB00BB; background-image: repeating-linear-gradient(45deg, transparent, transparent 35px, rgba(0,0,255,.5) 35px, rgba(0,0,255,.5) 70px); font-size:20px ; padding: 20px} .tg .tg-work1{background-color:#0000BB; background-image: repeating-linear-gradient(45deg, transparent, transparent 35px, rgba(0,0,255,.5) 35px, rgba(0,0,255,.5) 70px); font-size:20px ; padding: 20px} .tg .tg-work2{background-color:#003300; background-image: repeating-linear-gradient(315deg, transparent, transparent 35px, rgba(100,255,200,.3) 35px, rgba(100,255,200,.3) 70px); font-size:20px; padding: 20px} .tg .tg-conf{background-color:#00BBBB} .tg .tg-tut{background-color:#00A080} .tg .tg-main{background-color:#BB0000;font-size:60px; position:relative} .tg .tg-other{background-color:#DDDDFF; color: #000000} .tg .tg-sl{background-color:#DDDDFF; color: #000000} .tg, .tg th {text-align:center;opacity: .85;} .tg a {color:white;} .tg-other a {color:black;} .tg {color:white;} .tg a:hover {opacity:.8} .tg-mon-keynote, .tg-tue-keynote, .tg-wed-keynote, .tg-tue-contest { font-size: 14px; width: 33% } .tg-mon-keynote { position: absolute; top: 5px; left: 0; } .tg-tue-keynote { position: absolute; top: 5px; width: 33%; left: 33%; } .tg-wed-keynote { position: absolute; top: 5px; left: 67%; } .tg-tue-contest { position: absolute; top: 80%; left: 33%; } </style> <table class="tg" border="0"> <tbody> <tr> <th>Aug. 22nd<br>Sunday</th> <th>Aug. 23rd<br>Monday</th> <th>Aug. 24th<br>Tuesday</th> <th>Aug. 25th<br>Wednesday</th> <th>Aug. 26th<br>Thursday</th> <th>Aug. 27th<br>Friday</th> </tr> <tr> <td class="tg-work2" rowspan="1"> <strong><a href="https://icfp21.sigplan.org/home/FHPNC-2021">FHPNC</a></strong> </td> <td class="tg-main" rowspan="4" colspan="3"> <strong><a href="">ICFP</a></strong> </td> <td class="tg-work0" colspan="2"> <strong><a href="https://icfp21.sigplan.org/home/haskellsymp-2021">Haskell</a></strong> </td> </tr> <tr> <td valign="top" class="tg-work1" rowspan="1"> <strong><a href="https://icfp21.sigplan.org/home/TyDe-2021">TyDe</a></strong> </td> <td valign="top" class="tg-work2" rowspan="1"> <strong><a href="https://icfp21.sigplan.org/home/erlang-2021">Erlang</a></strong> </td> <td valign="top" class="tg-work1" rowspan="1"> <strong><a href="https://icfp21.sigplan.org/home/farm-2021">Farm</a></strong> </td> </tr> <tr> <td valign="top" class="tg-work2" rowspan="1"> <strong><a href="https://icfp21.sigplan.org/home/hiw-2021">HIW</a></strong> </td> <td valign="top" class="tg-work1" rowspan="1"> <strong><a href="https://icfp21.sigplan.org/home/minikanren-2021">miniKanren</a></strong> </td> <td valign="top" class="tg-work2" rowspan="1"> <strong><a href="https://icfp21.sigplan.org/home/ocaml-2021">OCaml</a></strong> </td> </tr> <tr> <td valign="top" class="tg-work1" rowspan="1"> <strong><a href="https://icfp21.sigplan.org/home/hope-2021">HOPE</a></strong></td> <td valign="top" class="tg-work2" rowspan="1"> <strong><a href="https://icfp21.sigplan.org/home/mlfamilyworkshop-2021">ML</a></strong> </td> <td valign="top" class="tg-work1" rowspan="1"> <strong><a href="https://icfp21.sigplan.org/home/scheme-2021">Scheme</a></strong> </td> </tr> <tr> <td valign="top" class="tg-work2" rowspan="1"> <strong><a href="https://icfp21.sigplan.org/home/PLMW-ICFP-2021">PLMW</a></strong> </td> </tr> </tbody> </table> </center> <p> </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 2021 Tracks</div></div><div class="panel-body"><div class="all-tracks"><a href="https://icfp21.sigplan.org/track/icfp-2021-jfp-talks" class="text-muted navigate">JFP Talks</a> | <a href="https://icfp21.sigplan.org/track/icfp-2021-pltea" class="text-muted navigate">PLTea</a> | <a href="https://icfp21.sigplan.org/track/icfp-2021-papers" class="text-muted navigate">Research Papers</a> | <a href="https://icfp21.sigplan.org/track/icfp-2021-social-events" class="text-muted navigate">Social Events</a> | <a href="https://icfp21.sigplan.org/track/icfp-2021-artifact-evaluation" class="text-muted navigate">Artifact Evaluation</a> | <a href="https://icfp21.sigplan.org/track/icfp-2021-student-research-competition" class="text-muted navigate">Student Research Competition</a> | <a href="https://icfp21.sigplan.org/track/icfp-2021-workshops" class="text-muted navigate">Workshops</a> | <a href="https://icfp21.sigplan.org/track/icfp-2021-tutorials" class="text-muted navigate">Tutorials</a> | <a href="https://icfp21.sigplan.org/track/icfp-2021-icfp-programming-contest" class="text-muted navigate">ICFP Programming Contest</a> | <a href="https://icfp21.sigplan.org/track/icfp-2021-student-volunteers" class="text-muted navigate">Student Volunteers</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-warning"><div class="panel-heading clearfix"><div class="panel-title">Supporters</div></div><table class="table table-hover"><tr href="https://www.janestreet.com/" title="Jane Street" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Jane Street" src="https://icfp21.sigplan.org/getLogo/343a610f-c8c0-4e0b-855f-5c9f2806bf26?1628273737000" class="outputimage"/></span></td><td>Diamond</td></tr><tr href="https://facebook.com" title="Facebook" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Facebook" src="https://icfp21.sigplan.org/getLogo/f29260c5-b90e-4142-a177-a1c17fc51cec?1628273833000" class="outputimage"/></span></td><td>Platinum</td></tr><tr href="http://www.techatbloomberg.com/" title="Bloomberg" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Bloomberg" src="https://icfp21.sigplan.org/getLogo/6d98626e-9ab9-4321-a551-b83952c5e155?1628274089000" class="outputimage"/></span></td><td>Gold</td></tr><tr href="https://galois.com" title="Galois" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Galois" src="https://icfp21.sigplan.org/getLogo/73cb3d7a-6ea9-47d5-8a95-9a395e043c11?1629642635000" class="outputimage"/></span></td><td>Gold</td></tr><tr href="https://www.furiosa.ai" title="Furiosa AI" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Furiosa AI" src="https://icfp21.sigplan.org/getLogo/c0c61b88-34d9-49b1-818a-b7f3e05ee1b1?1629642717000" class="outputimage"/></span></td><td>Gold</td></tr><tr href="https://groq.com/" title="Groq" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Groq" src="https://icfp21.sigplan.org/getLogo/ef24953e-494b-48ce-aaae-524d05cb5b72?1629314234000" class="outputimage"/></span></td><td>Gold</td></tr><tr href="https://microsoft.com" title="Microsoft" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Microsoft" src="https://icfp21.sigplan.org/getLogo/f77c93c1-ac1a-4b5d-a536-8ebe788324f2?1628274118000" class="outputimage"/></span></td><td>Silver</td></tr><tr href="https://www.oracle.com/" title="Oracle" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Oracle" src="https://icfp21.sigplan.org/getLogo/df48590b-21e4-4d5a-afaf-eed4958546e0?1628274148000" class="outputimage"/></span></td><td>Silver</td></tr><tr href="https://www.tweag.io/" title="Tweag" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Tweag" src="https://icfp21.sigplan.org/getLogo/6d2e9f6f-1b92-48d6-85e6-a62bbdcbfa37?1628274200000" class="outputimage"/></span></td><td>Silver</td></tr><tr href="https://erlef.org/" title="Erlang Ecosystem Foundation" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Erlang Ecosystem Foundation" src="https://icfp21.sigplan.org/getLogo/9105fde2-fcbf-486e-b15b-2114f879bbdf?1629133667000" class="outputimage"/></span></td><td>Bronze</td></tr><tr href="https://www.erlang-solutions.com/" title="Erlang Solutions" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Erlang Solutions" src="https://icfp21.sigplan.org/getLogo/c73dd3a6-5394-4518-ab0f-81776fd94fda?1629133515000" class="outputimage"/></span></td><td>Bronze</td></tr><tr href="http://www.intellifactory.com/" title="IntelliFactory" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="IntelliFactory" src="https://icfp21.sigplan.org/getLogo/514d79d6-1d0a-4da6-8371-60fcf981acda?1628274281000" class="outputimage"/></span></td><td>Bronze</td></tr><tr href="https://www.sc.com/en/" title="Standard Chartered Bank" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Standard Chartered Bank" src="https://icfp21.sigplan.org/getLogo/eeba23e9-68b5-42e9-b87a-043d72a69dde?1628274546000" class="outputimage"/></span></td><td>Bronze</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:48</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://icfp21.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-2021" /><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://icfp21.sigplan.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"icfp-2021"},],"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://icfp21.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-2021" /><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://icfp21.sigplan.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"icfp-2021"},],"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://icfp21.sigplan.org" class="navigate"><span class="glyphicon glyphicon-home"></span> ICFP 2021</a></h3><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://icfp21.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://icfp21.sigplan.org/track/icfp-2021-jfp-talks" class="navigate">JFP Talks</a><br/><a href="https://icfp21.sigplan.org/track/icfp-2021-pltea" class="navigate">PLTea</a><br/><a href="https://icfp21.sigplan.org/track/icfp-2021-papers" class="navigate">Research Papers</a><br/><a href="https://icfp21.sigplan.org/track/icfp-2021-social-events" class="navigate">Social Events</a><br/><a href="https://icfp21.sigplan.org/track/icfp-2021-artifact-evaluation" class="navigate">Artifact Evaluation</a><br/><a href="https://icfp21.sigplan.org/track/icfp-2021-student-research-competition" class="navigate">Student Research Competition</a><br/><a href="https://icfp21.sigplan.org/track/icfp-2021-workshops" class="navigate">Workshops</a><br/><a href="https://icfp21.sigplan.org/track/icfp-2021-tutorials" class="navigate">Tutorials</a><br/><a href="https://icfp21.sigplan.org/track/icfp-2021-icfp-programming-contest" class="navigate">ICFP Programming Contest</a><br/><a href="https://icfp21.sigplan.org/track/icfp-2021-student-volunteers" class="navigate">Student Volunteers</a></div><div class="col-sm-6"><h4>Workshops</h4><a href="https://icfp21.sigplan.org/home/erlang-2021" class="navigate">Erlang 2021</a><br/><a href="https://icfp21.sigplan.org/home/farm-2021" class="navigate">FARM 2021</a><br/><a href="https://icfp21.sigplan.org/home/FHPNC-2021" class="navigate">FHPNC 2021</a><br/><a href="https://icfp21.sigplan.org/home/hiw-2021" class="navigate">HIW 2021</a><br/><a href="https://icfp21.sigplan.org/home/hope-2021" class="navigate">HOPE 2021</a><br/><a href="https://icfp21.sigplan.org/home/mlfamilyworkshop-2021" class="navigate">ML 2021</a><br/><a href="https://icfp21.sigplan.org/home/ocaml-2021" class="navigate">OCaml 2021</a><br/><a href="https://icfp21.sigplan.org/home/PLMW-ICFP-2021" class="navigate">PLMW @ ICFP 2021</a><br/><a href="https://icfp21.sigplan.org/home/scheme-2021" class="navigate">Scheme 2021</a><br/><a href="https://icfp21.sigplan.org/home/TyDe-2021" class="navigate">TyDe 2021</a><br/><a href="https://icfp21.sigplan.org/home/minikanren-2021" class="navigate">miniKanren 2021</a><br/><h4>Co-hosted Symposia</h4><a href="https://icfp21.sigplan.org/home/haskellsymp-2021" class="navigate">Haskell 2021</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://icfp21.sigplan.org/venue/icfp-2021-venue" class="navigate">Venue: Virtual</a><br><a href="https://icfp21.sigplan.org/attending/students" class="navigate">Student Volunteers</a><br><a href="https://icfp21.sigplan.org/attending/code-of-conduct" class="navigate">Code of Conduct</a><br><a href="https://icfp21.sigplan.org/attending/call-for-sponsorship" class="navigate">Call For Sponsorship</a><br><a href="https://icfp21.sigplan.org/attending/Registration" class="navigate">Registration</a><br><a href="https://icfp21.sigplan.org/attending/accessibility" class="navigate">Accessibility</a></div><div class="col-sm-2"><a href="https://icfp21.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>