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>ML 2021 - 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/flatpickr-4.3.2.min.css?8eedb7a0f2455c0dbbbbcc46c4172c0d" 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/faceted-filtering.js?b66007ca48ecd1d87e1cdd60e4e42366"></script> <script type="text/javascript" src="https://icfp21.sigplan.org/javascript/flatpickr-4.3.2.min.js?c2885c17ae5fd471c9a40c437e8a2736"></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">(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> <script type="text/javascript"> $(window).on('popstate', function(){ $('.modal.in').modal('hide') }); </script><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on( 'shown.bs.modal', function(){ if(history.pushState){ history.pushState({ id: 'modal', modalId: $(this).attr('id') }, null, window.location.href); } } ).on( 'hidden.bs.modal', function (){ if( history.state != null && history.state.modalId == $(this).attr('id') ){ history.back(); } } ); }; 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>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:description' content='ML is a large family of programming languages that includes Standard ML, OCaml, F#, CakeML, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML, Flow Caml, Reason ML, and many others. All ML languages, besides a great deal of syntax, share several fundamental traits. They are all higher-order, mostly pure, and typed, with algebraic and other data types. Their type systems inherit from Hindley-Milner. The development of these languages has inspired a large amount of computer science research and influenced many programming languages, including Haskell, Scala, Rust, Clojure, and many ...'> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://icfp21.sigplan.org/getImage/carousel/1+ICFP+2021.JPG?1613918806000'> <script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('input.flatpickr:not([id])').focusout( function(){ this.dispatchEvent( new KeyboardEvent('keydown',{keyCode:13, bubbles: true}) ); } ); }; 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> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='ML 2021 - ICFP 2021'> <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> <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">var ignoreHashChange = false; function hashChangeFunc(){ // show active tab on hash in url if (window.location.hash !== ''){ var hashTargetAll = $('a[href="' + window.location.hash + '"]'); if(hashTargetAll.length){ var hashTarget = hashTargetAll.filter('[data-toggle="tab"]') if( hashTarget.length ){ hashTarget = hashTarget.first(); hashTarget.tab('show'); } else { hashTarget = hashTargetAll.first(); } // and open parent tabs in case the target element is nested in a tab var parentPane = hashTarget.closest( '.tab-pane' ); if(parentPane.length){ $('.nav a[href="#'+ parentPane.attr('id') +'"]').tab('show'); } var parentCollapse = hashTarget.closest( '.panel-collapse:not(.in)' ).collapse('show'); } } return false; } $(document).ready(function(){ var tabFromRequestUrl = window.location.hash !== '' ? $('a[href="' + window.location.hash + '"][data-toggle="tab"]') : []; var initUrlHash = window.location.hash; hashChangeFunc() if( tabFromRequestUrl.length ){ //Prevent the browser to auto-scroll to the anchor of the tab window.location.hash = ""; } //make in-page #links open the tabs if ($._data( $(window)[0], 'events' ).hashchange == undefined){ $(window).on('hashchange', hashChangeFunc); } if(tabFromRequestUrl.length){ setTimeout( function(){ ignoreHashChange = true; history.replaceState(null, null, initUrlHash); ignoreHashChange = false; }, 10 ); } }); var autoTabFunction = function(node){ var isActivatingFirstTab = false; // remember the hash in the URL without jumping $('a[data-toggle="tab"]:not(.no-hash):not(.bound)').addClass('bound').on('shown.bs.tab', function(e){ if(!isActivatingFirstTab){ var newhash = '#' + $(e.target).attr('href').substr(1); if(history.replaceState){ history.replaceState(null, null, newhash); } else{ location.hash = newhash; } } }); //When no tab is active, set the first one to active $(node).find('.nav-tabs:not(.bound), .nav-pills:not(.bound)').addClass('bound').each(function(){ if( $(this).children().length > 0 && 1 > $(this).find('.active').length){ const firstItem = $(this).find('a[data-toggle="tab"]').first(); isActivatingFirstTab = true; firstItem.tab('show'); isActivatingFirstTab = false; } }); } </script> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script> <meta name='description' content='ML is a large family of programming languages that includes Standard ML, OCaml, F#, CakeML, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML, Flow Caml, Reason ML, and many others. All ML languages, besides a great deal of syntax, share several fundamental traits. They are all higher-order, mostly pure, and typed, with algebraic and other data types. Their type systems inherit from Hindley-Milner. The development of these languages has inspired a large amount of computer science research and influenced many programming languages, including Haskell, Scala, Rust, Clojure, and many ...'>  </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%5Eshome%5Esmlfamilyworkshop-2021" 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><div id="content" class="container"><div class="page-header"><span class="text-muted small"><span class="glyphicon glyphicon-home"></span> <a href="https://icfp21.sigplan.org" class="navigate">ICFP 2021</a> (<a href="https://icfp21.sigplan.org/series/icfp" class="navigate">series</a>) / </span><span class="text-muted small">ML 2021 (<a href="https://icfp21.sigplan.org/series/mlsymposium" class="navigate">series</a>) / </span><h1>ML 2021</h1></div><div class="row"><div class="col-sm-8"><ul id="tab" class="nav nav-pills"><li><a href="#About" data-toggle="tab">About</a></li><li><a href="#program" data-toggle="tab">Program</a></li><li><a href="#event-overview" data-toggle="tab">Accepted Papers</a></li><li><a href="#Call-for-Presentations" data-toggle="tab">Call for Presentations</a></li></ul><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; autoTabFunction(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><div class="tab-content"><div id="About" class="tab-pane "><p>ML is a large family of programming languages that includes Standard ML, OCaml, F#, CakeML, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML, Flow Caml, Reason ML, and many others. All ML languages, besides a great deal of syntax, share several fundamental traits. They are all higher-order, mostly pure, and typed, with algebraic and other data types. Their type systems inherit from Hindley-Milner. The development of these languages has inspired a large amount of computer science research and influenced many programming languages, including Haskell, Scala, Rust, Clojure, and many others.</p> <p>ML workshops have been held in affiliation with ICFP continuously since 2005. This workshop specifically aims to recognize the entire extended ML family and to provide the forum to present and discuss common issues, both practical (compilation techniques, implementations of concurrency and parallelism, programming for the Web, modern operating system and network services, platform services – build, document, test, deploy) and theoretical (fancy types, module systems, metaprogramming, etc.) The scope of the workshop includes all aspects of the design, semantics, theory, application, implementation, and teaching of the members of the ML family. We also encourage presentations from related languages (such as Haskell, Scala, Rust, Nemerle, Links, Koka, F*, Eff, ATS, etc), to exchange experience of further developing ML ideas.</p> <p>The ML family workshop will be held in close coordination with the OCaml Users and Developers Workshop.</p> <p>The ML workshop will be a virtual workshop this year.</p> <h3><a href="#news" id="news" class="anchor-link">News</a></h3> <ul> <li><strong>March 22nd</strong> Excited to announce that <strong>Don Syme</strong> (Microsoft) will be giving this year’s opening keynote, about the history of the F# programming language</li> </ul> <p>Please contact the PC chair (<a href="mailto:protz@microsoft.com">Jonathan Protzenko</a>) with any questions.</p> </div><div id="program" class="tab-pane "><div class="faceted-filtering"><div class="row date-facets"><div class="col-sm-1"><strong>Dates</strong></div><div class="col-sm-11"><div data-facet-type="date" class="facet-placeholder"></div></div></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; $(node).find('.modal').on('shown.bs.modal', function() {if(gtag) { gtag( 'event', 'Show Details in Modal' , {'event_category': 'Event Information', 'event_label': '' + $(this).find('.modal-title').text() + ''} ) } } ) }; 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><div tabindex="-1" id="hidden-modal" class="modal"><div class="modal-dialog "><div class="modal-content"></div></div></div><div id="program-settings-modal" class="webdsl-placeholder"><div id="userProgramSettings" class="modal fade"><div class="modal-dialog "><div class="modal-content"><div class="modal-header"><a data-dismiss="modal" class="close"><span class="glyphicon glyphicon-remove"></span></a><h3>Program Display Configuration</h3></div><div class="modal-body"><form name="form11390898770538530f0e2bbdb67872b491120c5c8a7" id="form11390898770538530f0e2bbdb67872b491120c5c8a7" action="https://icfp21.sigplan.org/userProgramSettingsModalConferenceEdition" accept-charset="UTF-8" method="POST" role="form" class="form-horizontal"><input type="hidden" name="form11390898770538530f0e2bbdb67872b491120c5c8a7" value="1" /><input type="hidden" name="context" value="icfp-2021" /><div class="panel panel-default timezone-panel"><div class="panel-heading clearfix"><div class="panel-title">Time Zone</div></div><div class="panel-body"><span class="help-block">The program is currently displayed in <strong>(GMT+09:00) Seoul</strong>.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="9659afaa126198132be460b106e35ccb" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/><strong>Use conference time zone: (GMT+09:00) Seoul</strong></label><label class="radio"><input type="radio" name="9659afaa126198132be460b106e35ccb" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#cec04de0447905c49fb377c6d9693505').is(':visible') ) { $('#cec04de0447905c49fb377c6d9693505').fadeToggle( 250 ); }"/>Select other time zone</label><div id="cec04de0447905c49fb377c6d9693505" style=" display: none;"><select name="0e35d6393a8ba494aa0723dd51b6899c" class="select form-control"><option value="" selected="selected" data-utc-minute-offset="0"></option><option value="Etc/GMT+12" data-utc-minute-offset="-720">(GMT-12:00) AoE (Anywhere On Earth)</option><option value="Pacific/Midway" data-utc-minute-offset="-660">(GMT-11:00) Midway Island, Samoa</option><option value="America/Adak" data-utc-minute-offset="-600">(GMT-09:00) Hawaii-Aleutian</option><option value="Etc/GMT+10" data-utc-minute-offset="-600">(GMT-10:00) Hawaii</option><option value="Pacific/Marquesas" data-utc-minute-offset="-570">(GMT-09:30) Marquesas Islands</option><option value="Pacific/Gambier" data-utc-minute-offset="-540">(GMT-09:00) Gambier Islands</option><option value="America/Anchorage" data-utc-minute-offset="-540">(GMT-08:00) Alaska</option><option value="America/Ensenada" data-utc-minute-offset="-480">(GMT-07:00) Tijuana, Baja California</option><option value="Etc/GMT+8" data-utc-minute-offset="-480">(GMT-08:00) Pitcairn Islands</option><option value="America/Los_Angeles" data-utc-minute-offset="-480">(GMT-07:00) Pacific Time (US & Canada)</option><option value="America/Denver" data-utc-minute-offset="-420">(GMT-06:00) Mountain Time (US & Canada)</option><option value="America/Chihuahua" data-utc-minute-offset="-360">(GMT-06:00) Chihuahua, La Paz, Mazatlan</option><option value="America/Dawson_Creek" data-utc-minute-offset="-420">(GMT-07:00) Arizona</option><option value="America/Belize" data-utc-minute-offset="-360">(GMT-06:00) Saskatchewan, Central America</option><option value="America/Cancun" data-utc-minute-offset="-300">(GMT-05:00) Guadalajara, Mexico City, Monterrey</option><option value="Chile/EasterIsland" data-utc-minute-offset="-300">(GMT-06:00) Easter Island</option><option value="America/Chicago" data-utc-minute-offset="-360">(GMT-05:00) Central Time (US & Canada)</option><option value="America/New_York" data-utc-minute-offset="-300">(GMT-04:00) Eastern Time (US & Canada)</option><option value="America/Havana" data-utc-minute-offset="-300">(GMT-04:00) Cuba</option><option value="America/Bogota" data-utc-minute-offset="-300">(GMT-05:00) Bogota, Lima, Quito, Rio Branco</option><option value="America/Caracas" data-utc-minute-offset="-240">(GMT-04:00) Caracas</option><option value="America/Santiago" data-utc-minute-offset="-180">(GMT-04:00) Santiago</option><option value="America/La_Paz" data-utc-minute-offset="-240">(GMT-04:00) La Paz</option><option value="Atlantic/Stanley" data-utc-minute-offset="-180">(GMT-03:00) Faukland Islands</option><option value="America/Campo_Grande" data-utc-minute-offset="-240">(GMT-04:00) Manaus, Amazonas, Brazil</option><option value="America/Goose_Bay" data-utc-minute-offset="-240">(GMT-03:00) Atlantic Time (Goose Bay)</option><option value="America/Glace_Bay" data-utc-minute-offset="-240">(GMT-03:00) Atlantic Time (Canada)</option><option value="America/St_Johns" data-utc-minute-offset="-210">(GMT-02:30) Newfoundland</option><option value="America/Araguaina" data-utc-minute-offset="-180">(GMT-03:00) UTC-3</option><option value="America/Montevideo" data-utc-minute-offset="-180">(GMT-03:00) Montevideo</option><option value="America/Miquelon" data-utc-minute-offset="-180">(GMT-02:00) Miquelon, St. Pierre</option><option value="America/Godthab" data-utc-minute-offset="-180">(GMT-02:00) Greenland</option><option value="America/Argentina/Buenos_Aires" data-utc-minute-offset="-180">(GMT-03:00) Buenos Aires</option><option value="America/Sao_Paulo" data-utc-minute-offset="-180">(GMT-03:00) Brasilia, Distrito Federal, Brazil</option><option value="America/Noronha" data-utc-minute-offset="-120">(GMT-02:00) Mid-Atlantic</option><option value="Atlantic/Cape_Verde" data-utc-minute-offset="-60">(GMT-01:00) Cape Verde Is.</option><option value="Atlantic/Azores" data-utc-minute-offset="-60">(GMT) Azores</option><option value="Etc/UTC" data-utc-minute-offset="0">(UTC) Coordinated Universal Time</option><option value="Europe/Belfast" data-utc-minute-offset="0">(GMT+01:00) Belfast</option><option value="Europe/Dublin" data-utc-minute-offset="0">(GMT+01:00) Dublin</option><option value="Europe/Lisbon" data-utc-minute-offset="0">(GMT+01:00) Lisbon</option><option value="Europe/London" data-utc-minute-offset="0">(GMT+01:00) London</option><option value="Africa/Abidjan" data-utc-minute-offset="0">(GMT) Monrovia, Reykjavik</option><option value="Europe/Amsterdam" data-utc-minute-offset="60">(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna</option><option value="Europe/Belgrade" data-utc-minute-offset="60">(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague</option><option value="Europe/Brussels" data-utc-minute-offset="60">(GMT+02:00) Brussels, Copenhagen, Madrid, Paris</option><option value="Africa/Algiers" data-utc-minute-offset="60">(GMT+01:00) West Central Africa</option><option value="Africa/Windhoek" data-utc-minute-offset="120">(GMT+02:00) Windhoek</option><option value="Europe/Athens" data-utc-minute-offset="120">(GMT+03:00) Athens</option><option value="Asia/Beirut" data-utc-minute-offset="120">(GMT+03:00) Beirut</option><option value="Africa/Cairo" data-utc-minute-offset="120">(GMT+02:00) Cairo</option><option value="Asia/Gaza" data-utc-minute-offset="120">(GMT+03:00) Gaza</option><option value="Africa/Blantyre" data-utc-minute-offset="120">(GMT+02:00) Harare, Pretoria</option><option value="Asia/Jerusalem" data-utc-minute-offset="120">(GMT+03:00) Jerusalem</option><option value="Europe/Minsk" data-utc-minute-offset="180">(GMT+03:00) Minsk</option><option value="Asia/Damascus" data-utc-minute-offset="180">(GMT+03:00) Syria</option><option value="Europe/Moscow" data-utc-minute-offset="180">(GMT+03:00) Moscow, St. Petersburg, Volgograd</option><option value="Africa/Addis_Ababa" data-utc-minute-offset="180">(GMT+03:00) Nairobi</option><option value="Asia/Tehran" data-utc-minute-offset="210">(GMT+04:30) Tehran</option><option value="Asia/Dubai" data-utc-minute-offset="240">(GMT+04:00) Abu Dhabi, Muscat</option><option value="Asia/Yerevan" data-utc-minute-offset="240">(GMT+04:00) Yerevan</option><option value="Asia/Kabul" data-utc-minute-offset="270">(GMT+04:30) Kabul</option><option value="Asia/Yekaterinburg" data-utc-minute-offset="300">(GMT+05:00) Ekaterinburg</option><option value="Asia/Tashkent" data-utc-minute-offset="300">(GMT+05:00) Tashkent</option><option value="Asia/Kolkata" data-utc-minute-offset="330">(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi</option><option value="Asia/Katmandu" data-utc-minute-offset="345">(GMT+05:45) Kathmandu</option><option value="Asia/Dhaka" data-utc-minute-offset="360">(GMT+06:00) Astana, Dhaka</option><option value="Asia/Novosibirsk" data-utc-minute-offset="420">(GMT+07:00) Novosibirsk</option><option value="Asia/Rangoon" data-utc-minute-offset="390">(GMT+06:30) Yangon (Rangoon)</option><option value="Asia/Bangkok" data-utc-minute-offset="420">(GMT+07:00) Bangkok, Hanoi, Jakarta</option><option value="Asia/Krasnoyarsk" data-utc-minute-offset="420">(GMT+07:00) Krasnoyarsk</option><option value="Asia/Hong_Kong" data-utc-minute-offset="480">(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi</option><option value="Asia/Irkutsk" data-utc-minute-offset="480">(GMT+08:00) Irkutsk, Ulaan Bataar</option><option value="Australia/Perth" data-utc-minute-offset="480">(GMT+08:00) Perth</option><option value="Australia/Eucla" data-utc-minute-offset="525">(GMT+08:45) Eucla</option><option value="Asia/Tokyo" data-utc-minute-offset="540">(GMT+09:00) Osaka, Sapporo, Tokyo</option><option value="Asia/Seoul" data-utc-minute-offset="540">(GMT+09:00) Seoul</option><option value="Asia/Yakutsk" data-utc-minute-offset="540">(GMT+09:00) Yakutsk</option><option value="Australia/Adelaide" data-utc-minute-offset="630">(GMT+09:30) Adelaide</option><option value="Australia/Darwin" data-utc-minute-offset="570">(GMT+09:30) Darwin</option><option value="Australia/Brisbane" data-utc-minute-offset="600">(GMT+10:00) Brisbane</option><option value="Australia/Hobart" data-utc-minute-offset="660">(GMT+10:00) Hobart</option><option value="Asia/Vladivostok" data-utc-minute-offset="600">(GMT+10:00) Vladivostok</option><option value="Australia/Lord_Howe" data-utc-minute-offset="660">(GMT+10:30) Lord Howe Island</option><option value="Etc/GMT-11" data-utc-minute-offset="660">(GMT+11:00) Solomon Is., New Caledonia</option><option value="Asia/Magadan" data-utc-minute-offset="660">(GMT+11:00) Magadan</option><option value="Pacific/Norfolk" data-utc-minute-offset="720">(GMT+11:00) Norfolk Island</option><option value="Asia/Anadyr" data-utc-minute-offset="720">(GMT+12:00) Anadyr, Kamchatka</option><option value="Pacific/Auckland" data-utc-minute-offset="780">(GMT+12:00) Auckland, Wellington</option><option value="Etc/GMT-12" data-utc-minute-offset="720">(GMT+12:00) Fiji, Kamchatka, Marshall Is.</option><option value="Pacific/Chatham" data-utc-minute-offset="825">(GMT+12:45) Chatham Islands</option><option value="Pacific/Tongatapu" data-utc-minute-offset="780">(GMT+13:00) Nuku'alofa</option><option value="Pacific/Kiritimati" data-utc-minute-offset="840">(GMT+14:00) Kiritimati</option></select><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; var sel = document.getElementsByName('0e35d6393a8ba494aa0723dd51b6899c')[0] var opts = sel.options; for (var opt, j = 0; opt = opts[j]; j++) { if (opt.getAttribute('data-utc-minute-offset') == tzOffsetMin) { sel.selectedIndex = j; break; } } </script></div></div></div><br><span class="help-block"><small><span class="glyphicon glyphicon-info-sign"></span> The GMT offsets shown reflect the offsets <strong>at the moment of the conference</strong>.</small></span></div></div><div class="panel panel-default timeband-panel"><div class="panel-heading clearfix"><div class="panel-title">Time Band</div></div><div class="panel-body"><span class="help-block">By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).<br>The time band will also limit the events that are included in the personal iCalendar subscription service.</span><div class="row"><div class="col-sm-11 col-sm-offset-1"><label class="radio"><input type="radio" checked="checked" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="false" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/><strong>Display full program</strong></label><label class="radio"><input type="radio" name="f1869fcfb40f29e9c9c46042f4fbda2c" value="true" onchange="if( ($(this).val() == 'true' && this.checked) != $('#c2371058bcb9b31dd10e115e7f712708').is(':visible') ) { $('#c2371058bcb9b31dd10e115e7f712708').fadeToggle( 250 ); }"/>Specify a time band</label><div id="c2371058bcb9b31dd10e115e7f712708" style=" display: none;"><span class="input-group"><input name="a4e58ac1cd9cfb26fb62ecc29e600148" type="text" value="07:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=a4e58ac1cd9cfb26fb62ecc29e600148]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script><span class="input-group-addon"> - </span><input name="01ff55ee23f3ce1eb7d922f922eb09b1" type="text" value="19:00" class="flatpickr inputDate form-control"/><script type="text/javascript">$("input:not(.flatpickr-input)[name=01ff55ee23f3ce1eb7d922f922eb09b1]").flatpickr({onOpen: function(dateObj, dateStr, instance){ if(dateStr == ''){ instance.jumpToDate( new Date() ); } }, allowInput: true, dateformat: 'H:i', altFormat: 'H:i' , altInput: true, time_24hr: true, noCalendar: true, enableTime : true}); </script></span></div></div></div></div></div><div class="row form-group"><div class="col-sm-offset-2 col-sm-10"><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://icfp21.sigplan.org/userProgramSettingsModalConferenceEdition","userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869", [{"name":"context", "value":"icfp-2021"},],"form11390898770538530f0e2bbdb67872b491120c5c8a7", this.nextSibling, true,"program-settings-modal"); return false;'></button><a submitid="userProgramSettingsModalConferenceEdition_apply18ec3dfeeecb5c44c1e40a40983898869" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" class="btn btn-primary btn btn-default">Save</a></div></div></form></div><div class="modal-footer"><a href="#" data-dismiss="modal" class="btn btn-default"><span class="glyphicon glyphicon-remove"></span> Close</a></div></div></div></div></div><div class="program-container"><div class="time-zone-warning text-muted hide-in-print"><div class="alert alert-dismissible alert-info"><button type="button" data-dismiss="alert" aria-label="Close" class="close"><span aria-hidden="true">×</span></button><span class="glyphicon glyphicon-info-sign"></span> You're viewing the program in a time zone which is different from your device's time zone <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change time zone</a></small></div></div><div class="tz-floating-link"><small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings" title="Change Program Display Configuration" class="btn btn-xs btn-info"><span class="glyphicon glyphicon-wrench"></span> <span class="glyphicon glyphicon-time"></span></a></small></div><script type="text/javascript">var tzOffsetMin = new Date().getTimezoneOffset()*-1; if(tzOffsetMin != 540){ $('.time-zone-warning').toggleClass('visible'); window.displayUserProgamSettingsOnce = true; } </script><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Thu 26 Aug</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Seoul</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-18"><table data-facet-date="Thu 26 Aug 2021" data-facet-date-order="210826" data-facet-room="ML" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c13"></td><td><div class="slot-label">18:00 - 19:30</div></td><td colspan="2"><div class="session-info-in-table">Semantics & Verification<span class="pull-right"><a href="https://icfp21.sigplan.org/home/mlfamilyworkshop-2021" target="_blank" class="text-muted navigate">ML</a></span> at <a href="https://icfp21.sigplan.org/room/icfp-2021-venue-ml" target="_blank" class="room-link navigate">ML</a><br/> <small>Chair(s): <a href="https://icfp21.sigplan.org/profile/martinelsman" target="_blank" class="navigate">Martin Elsman</a><span class="prog-aff"> University of Copenhagen, Denmark</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="3dc6b000-c5fe-4455-8d3e-0d559671dafd" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ML"></span></td><td><span data-event-star="2322e93d-2a30-4087-ae98-020fe21094a4" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="2322e93d-2a30-4087-ae98-020fe21094a4">Composing UNIX with Effect Handlers: A Case Study in Effect Handler Oriented Programming</a></strong><div class="prog-track">ML</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/danielhillerstrom" class="navigate">Daniel Hillerström</a><span class="prog-aff"> The University of Edinburgh</span></div><a href="https://dhil.net/research/papers/unix-ml2021.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/4/Composing-UNIX-with-Effect-Handlers-A-Case-Study-in-Effect-Handler-Oriented-Programm" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="86e8e4b5-ee52-4427-9f65-d62275f88f16" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">18:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ML"></span></td><td><span data-event-star="edd2ef42-7244-4867-935f-00e04c2f1def" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="edd2ef42-7244-4867-935f-00e04c2f1def">Cameleer: a Deductive Verification Tool for OCaml</a></strong><div class="prog-track">ML</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/mariopereira1" class="navigate">Mário Pereira</a><span class="prog-aff"> NOVA LINCS & DI -- Nova School of Science and Technology</span>, <a href="https://icfp21.sigplan.org/profile/antonioravara" class="navigate">António Ravara</a><span class="prog-aff"> Department of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS</span></div><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/13/Cameleer-a-Deductive-Verification-Tool-for-OCaml" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="74e40948-b8f2-4c77-b5a3-fb4d27563582" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">19:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ML"></span></td><td><span data-event-star="effd01ee-6f97-4ae8-9ff2-f99ea232a870" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="effd01ee-6f97-4ae8-9ff2-f99ea232a870">Hobbit: A Tool for Contextual Equivalence Checking Using Bisimulation Up-to Techniques</a></strong><div class="prog-track">ML</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/vasileioskoutavas" class="navigate">Vasileios Koutavas</a><span class="prog-aff"> Trinity College Dublin</span>, <a href="https://icfp21.sigplan.org/profile/yuyanglin" class="navigate">Yu-Yang Lin</a><span class="prog-aff"> Trinity College Dublin</span>, <a href="https://icfp21.sigplan.org/profile/nikostzevelekos" class="navigate">Nikos Tzevelekos</a><span class="prog-aff"> Queen Mary University of London</span></div><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/1/Hobbit-A-Tool-for-Contextual-Equivalence-Checking-Using-Bisimulation-Up-to-Technique" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr></table></div><div class="hidable band hour-20"><table data-facet-date="Thu 26 Aug 2021" data-facet-date-order="210826" data-facet-room="ML" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c13"></td><td><div class="slot-label">20:00 - 21:30</div></td><td colspan="2"><div class="session-info-in-table">Compiler & Language Correctness<span class="pull-right"><a href="https://icfp21.sigplan.org/home/mlfamilyworkshop-2021" target="_blank" class="text-muted navigate">ML</a></span> at <a href="https://icfp21.sigplan.org/room/icfp-2021-venue-ml" target="_blank" class="room-link navigate">ML</a><br/> <small>Chair(s): <a href="https://icfp21.sigplan.org/profile/robertatkey" target="_blank" class="navigate">Robert Atkey</a><span class="prog-aff"> University of Strathclyde</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="fa4c0dc4-7a12-426a-b3c2-8e32e3ada6f9" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">20:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ML"></span></td><td><span data-event-star="24b733b9-6f50-4ba4-97c7-d0c3fb7c9ccf" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="24b733b9-6f50-4ba4-97c7-d0c3fb7c9ccf">Formalizing OCaml GADT typing in Coq</a></strong><div class="prog-track">ML</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/jacquesgarrigue1" class="navigate">Jacques Garrigue</a><span class="prog-aff"> Nagoya University</span>, <a href="https://icfp21.sigplan.org/profile/xuanruiqi" class="navigate">Xuanrui Qi</a><span class="prog-aff"> Nagoya University</span></div><a href="http://www.math.nagoya-u.ac.jp/~garrigue/cocti/ml2021.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/2/Formalizing-OCaml-GADT-typing-in-Coq" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="a247e2d4-07d6-49d8-89fd-bf94d0f58686" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">20:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ML"></span></td><td><span data-event-star="e87c675a-ee03-409a-880b-9a2456513811" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="e87c675a-ee03-409a-880b-9a2456513811">Demo Paper : Coqlex, an approach to generate verified lexers</a></strong><div class="prog-track">ML</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/wendlasidaouedraogo" class="navigate">Wendlasida Ouedraogo</a><span class="prog-aff"> Siemens Mobility & Inria Saclay</span>, <a href="https://icfp21.sigplan.org/profile/dankoilik1" class="navigate">Danko Ilik</a><span class="prog-aff"> Siemens Mobility</span>, <a href="https://icfp21.sigplan.org/profile/lutzstrassburger" class="navigate">Lutz Strassburger</a><span class="prog-aff"> Inria Saclay & LIX, Ecole Polytechnique</span></div><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/7/Demo-Paper-Coqlex-an-approach-to-generate-verified-lexers" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/7/Demo-Paper-Coqlex-an-approach-to-generate-verified-lexers" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="5428a182-5569-48e2-bff1-6602219786c1" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">21:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ML"></span></td><td><span data-event-star="eb34947d-774c-4cc6-a9b3-1f60e414dd66" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="eb34947d-774c-4cc6-a9b3-1f60e414dd66">Code Extraction from Coq to ML-like languages</a></strong><div class="prog-track">ML</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/danilannenkov1" class="navigate">Danil Annenkov</a><span class="prog-aff"> Concordium Blockchain Research Center, Aarhus University</span>, <a href="https://icfp21.sigplan.org/profile/mikkelmilo" class="navigate">Mikkel Milo</a><span class="prog-aff"> Concordium Blockchain Research Center, Aarhus University</span>, <a href="https://icfp21.sigplan.org/profile/basspitters" class="navigate">Bas Spitters</a><span class="prog-aff"> Aarhus University</span></div><a href="https://github.com/AU-COBRA/ConCert/blob/master/papers/ML-family.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/8/Code-Extraction-from-Coq-to-ML-like-languages" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr></table></div><div class="hidable band hour-22"><table data-facet-date="Thu 26 Aug 2021" data-facet-date-order="210826" data-facet-room="ML" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c13"></td><td><div class="slot-label">22:00 - 23:30</div></td><td colspan="2"><div class="session-info-in-table">Keynote<span class="pull-right"><a href="https://icfp21.sigplan.org/home/mlfamilyworkshop-2021" target="_blank" class="text-muted navigate">ML</a></span> at <a href="https://icfp21.sigplan.org/room/icfp-2021-venue-ml" target="_blank" class="room-link navigate">ML</a><br/></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="dd1e2a73-6763-4d99-82f8-0929961f38f4" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">22:00</div><strong>60m</strong></div><div class="event-type">Keynote</div><span data-facet-track="ML"></span></td><td><span data-event-star="c9684ab6-d04a-473f-92b2-3d38f368c03d" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="c9684ab6-d04a-473f-92b2-3d38f368c03d">Keynote: Narratives and Lessons from The Early History of F# </a></strong><div class="prog-track">ML</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/donsyme" class="navigate">Don Syme</a><span class="prog-aff"> Microsoft</span></div></td></tr></table></div><div class="hidable band hour-23"><table data-facet-date="Thu 26 Aug 2021" data-facet-date-order="210826" data-facet-room="ML" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c13"></td><td><div class="slot-label">23:30 - 01:00</div></td><td colspan="2"><div class="session-info-in-table">Language & Library Design<span class="pull-right"><a href="https://icfp21.sigplan.org/home/mlfamilyworkshop-2021" target="_blank" class="text-muted navigate">ML</a></span> at <a href="https://icfp21.sigplan.org/room/icfp-2021-venue-ml" target="_blank" class="room-link navigate">ML</a><br/> <small>Chair(s): <a href="https://icfp21.sigplan.org/profile/benoitmontagu1" target="_blank" class="navigate">Benoît Montagu</a><span class="prog-aff"> Inria</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="2a9f7a19-9c2d-4e5f-b1f7-bb9d7e304962" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">23:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ML"></span></td><td><span data-event-star="cc410cf9-62a8-4f46-91ba-806652eb66cf" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="cc410cf9-62a8-4f46-91ba-806652eb66cf">A metalanguage for multi-phase modularity</a></strong><div class="prog-track">ML</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/jonathansterling" class="navigate">Jonathan Sterling</a><span class="prog-aff"> Carnegie Mellon University</span>, <a href="https://icfp21.sigplan.org/profile/robertharper1" class="navigate">Robert Harper</a><span class="prog-aff"> Carnegie Mellon University, USA</span></div><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/5/A-metalanguage-for-multi-phase-modularity" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="3168739b-fc7e-4031-a277-2ecae2646fac" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">00:00</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ML"></span></td><td><span data-event-star="8b7950a5-5292-4243-9c05-18abcfc8d529" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="8b7950a5-5292-4243-9c05-18abcfc8d529">Unfolding ML datatype declarations without loops</a></strong><div class="prog-track">ML</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/nicolaschataing" class="navigate">Nicolas Chataing</a><span class="prog-aff"> ENS Paris</span>, <a href="https://icfp21.sigplan.org/profile/gabrielscherer" class="navigate">Gabriel Scherer</a><span class="prog-aff"> INRIA Saclay</span></div><a href="https://cambium.inria.fr/~scherer/research/constructor-unboxing/constructor-unboxing-ml-workshop-2021.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/9/Unfolding-ML-datatype-declarations-without-loops" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="32c2de5d-1f4b-4433-a19c-de0087c147e9" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">00:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ML"></span></td><td><span data-event-star="b10cace9-e5b8-436c-af7c-b35ac78a499f" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b10cace9-e5b8-436c-af7c-b35ac78a499f">Verifying Multiparty Communication Protocols using ML Type Systems</a></strong><div class="prog-track">ML</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/keigoimai" class="navigate">Keigo Imai</a><span class="prog-aff"> Gifu University</span>, <a href="https://icfp21.sigplan.org/profile/rumyananeykova" class="navigate">Rumyana Neykova</a><span class="prog-aff"> Brunel University London</span>, <a href="https://icfp21.sigplan.org/profile/nobukoyoshida" class="navigate">Nobuko Yoshida</a><span class="prog-aff"> Imperial College London</span>, <a href="https://icfp21.sigplan.org/profile/shojiyuen" class="navigate">Shoji Yuen</a><span class="prog-aff"> Nagoya University</span></div><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/3/Verifying-Multiparty-Communication-Protocols-using-ML-Type-Systems" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr></table></div></div><div class="hidable day-wrapper"><h4 class="day-header sticky-top"><div><div>Fri 27 Aug</div><p></p><div class="time-zone-info"><small class="text-muted">Displayed time zone: <strong>Seoul</strong> <small class="control-time-zone"><a data-toggle="modal" href="#userProgramSettings">change</a></small></small></div></div></h4><div class="hidable band hour-1"><table data-facet-date="Fri 27 Aug 2021" data-facet-date-order="210827" data-facet-room="ML" data-facet-plenary="Hide plenary sessions" class="table table-condensed session-table"><colgroup width="10px"/><colgroup width="100px"/><colgroup width="10px"/><colgroup width="100%"/><tr class="session-details"><td class="track-color c13"></td><td><div class="slot-label">01:30 - 03:00</div></td><td colspan="2"><div class="session-info-in-table">Inference + Short talks <span class="pull-right"><a href="https://icfp21.sigplan.org/home/mlfamilyworkshop-2021" target="_blank" class="text-muted navigate">ML</a></span> at <a href="https://icfp21.sigplan.org/room/icfp-2021-venue-ml" target="_blank" class="room-link navigate">ML</a><br/> <small>Chair(s): <a href="https://icfp21.sigplan.org/profile/ohadkammar" target="_blank" class="navigate">Ohad Kammar</a><span class="prog-aff"> University of Edinburgh</span></small></div></td></tr><tr class="firefox-fix"><td></td><td></td><td></td><td></td></tr><tr data-slot-id="3cf6a596-22d7-4851-ba3d-cf299353f107" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">01:30</div><strong>30m</strong></div><div class="event-type">Talk</div><span data-facet-track="ML"></span></td><td><span data-event-star="b4f54375-d29d-4ca1-ab34-9b7a5dc921dd" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="b4f54375-d29d-4ca1-ab34-9b7a5dc921dd">Frozen inference constraints for type-directed disambiguation</a></strong><div class="prog-track">ML</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/oliviermartinot1" class="navigate">Olivier Martinot</a><span class="prog-aff"> INRIA</span>, <a href="https://icfp21.sigplan.org/profile/gabrielscherer" class="navigate">Gabriel Scherer</a><span class="prog-aff"> INRIA Saclay</span></div><a href="http://gallium.inria.fr/~scherer/research/constraints/frozen-constraints/short-abstract.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/10/Frozen-inference-constraints-for-type-directed-disambiguation" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr data-slot-id="aec7f068-f3a1-490d-8324-6a67b7a30e53" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">02:00</div><strong>15m</strong></div><div class="event-type">Talk</div><span data-facet-track="ML"></span></td><td><span data-event-star="501e9d7f-e98d-4ab0-8d2f-e97028a0cd84" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="501e9d7f-e98d-4ab0-8d2f-e97028a0cd84">Experience Report: Domain Modeling with F# (short talk)</a></strong><div class="prog-track">ML</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/scottwlaschin" class="navigate">Scott Wlaschin</a><span class="prog-aff"> None</span></div><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/14/Experience-Report-Domain-Modeling-with-F-short-talk-" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/14/Experience-Report-Domain-Modeling-with-F-short-talk-" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="801d8a64-84f0-4207-8d5c-90a3fc607b96" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">02:15</div><strong>15m</strong></div><div class="event-type">Talk</div><span data-facet-track="ML"></span></td><td><span data-event-star="557e9481-1ed9-4291-a3ea-7a01495005cb" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="557e9481-1ed9-4291-a3ea-7a01495005cb">Isomorphisms are back! (short talk)</a></strong><div class="prog-track">ML</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/clementallain" class="navigate">Clément Allain</a><span class="prog-aff"> Inria</span>, <a href="https://icfp21.sigplan.org/profile/gabrielradanne" class="navigate">Gabriel Radanne</a><span class="prog-aff"> Inria</span>, <a href="https://icfp21.sigplan.org/profile/lauregonnord" class="navigate">Laure Gonnord</a><span class="prog-aff"> University of Lyon & LIP, France</span></div><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/12/Isomorphisms-are-back-short-talk-" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="600b5114-985f-41a3-a004-6413aaeb46da" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">02:30</div><strong>15m</strong></div><div class="event-type">Talk</div><span data-facet-track="ML"></span></td><td><span data-event-star="551decf6-a420-45c2-b368-7fe359cc697b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="551decf6-a420-45c2-b368-7fe359cc697b">Sylvester: Unified, typed, notation for symbolic mathematics and proofs (short talk)</a></strong><div class="prog-track">ML</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/allisterbeharry" class="navigate">Allister Beharry</a><span class="prog-aff"> None</span></div><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/6/Sylvester-Unified-typed-notation-for-symbolic-mathematics-and-proofs-short-talk-" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/6/Sylvester-Unified-typed-notation-for-symbolic-mathematics-and-proofs-short-talk-" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr data-slot-id="87216d35-e479-41bc-920f-a051ecdb613b" class="hidable"><td class="track-color c13"></td><td class=" text-right"><div class="text-muted"><div class="start-time">02:45</div><strong>15m</strong></div><div class="event-type">Talk</div><span data-facet-track="ML"></span></td><td><span data-event-star="9a858225-4b53-47f2-9d85-14cb2623a5ef" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><strong><a href="#" data-event-modal="9a858225-4b53-47f2-9d85-14cb2623a5ef">A Data-centered User Study for jsCoq (short talk)</a></strong><div class="prog-track">ML</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/hannelitavante" class="navigate">Hanneli Tavante</a><span class="prog-aff"> McGill University</span></div><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/11/A-Data-centered-User-Study-for-jsCoq-short-talk-" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr></table></div></div></div></div></div><div id="event-overview" class="tab-pane "><h3>Accepted Papers</h3><table class="table table-condensed"><colgroup width="5"/><colgroup/><thead><tr><th><span class="glyphicon glyphicon-star"></span></th><th>Title</th></tr></thead><tr><td><span data-event-star="9a858225-4b53-47f2-9d85-14cb2623a5ef" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="9a858225-4b53-47f2-9d85-14cb2623a5ef">A Data-centered User Study for jsCoq (short talk)</a><div class="prog-track">ML</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/hannelitavante" class="navigate">Hanneli Tavante</a></div><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/11/A-Data-centered-User-Study-for-jsCoq-short-talk-" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr><td><span data-event-star="cc410cf9-62a8-4f46-91ba-806652eb66cf" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="cc410cf9-62a8-4f46-91ba-806652eb66cf">A metalanguage for multi-phase modularity</a><div class="prog-track">ML</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/jonathansterling" class="navigate">Jonathan Sterling</a>, <a href="https://icfp21.sigplan.org/profile/robertharper1" class="navigate">Robert Harper</a></div><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/5/A-metalanguage-for-multi-phase-modularity" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr><td><span data-event-star="edd2ef42-7244-4867-935f-00e04c2f1def" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="edd2ef42-7244-4867-935f-00e04c2f1def">Cameleer: a Deductive Verification Tool for OCaml</a><div class="prog-track">ML</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/mariopereira1" class="navigate">Mário Pereira</a>, <a href="https://icfp21.sigplan.org/profile/antonioravara" class="navigate">António Ravara</a></div><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/13/Cameleer-a-Deductive-Verification-Tool-for-OCaml" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr><td><span data-event-star="eb34947d-774c-4cc6-a9b3-1f60e414dd66" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="eb34947d-774c-4cc6-a9b3-1f60e414dd66">Code Extraction from Coq to ML-like languages</a><div class="prog-track">ML</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/danilannenkov1" class="navigate">Danil Annenkov</a>, <a href="https://icfp21.sigplan.org/profile/mikkelmilo" class="navigate">Mikkel Milo</a>, <a href="https://icfp21.sigplan.org/profile/basspitters" class="navigate">Bas Spitters</a></div><a href="https://github.com/AU-COBRA/ConCert/blob/master/papers/ML-family.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Link to publication</a><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/8/Code-Extraction-from-Coq-to-ML-like-languages" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr><td><span data-event-star="2322e93d-2a30-4087-ae98-020fe21094a4" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="2322e93d-2a30-4087-ae98-020fe21094a4">Composing UNIX with Effect Handlers: A Case Study in Effect Handler Oriented Programming</a><div class="prog-track">ML</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/danielhillerstrom" class="navigate">Daniel Hillerström</a></div><a href="https://dhil.net/research/papers/unix-ml2021.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/4/Composing-UNIX-with-Effect-Handlers-A-Case-Study-in-Effect-Handler-Oriented-Programm" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr><td><span data-event-star="e87c675a-ee03-409a-880b-9a2456513811" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="e87c675a-ee03-409a-880b-9a2456513811">Demo Paper : Coqlex, an approach to generate verified lexers</a><div class="prog-track">ML</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/wendlasidaouedraogo" class="navigate">Wendlasida Ouedraogo</a>, <a href="https://icfp21.sigplan.org/profile/dankoilik1" class="navigate">Danko Ilik</a>, <a href="https://icfp21.sigplan.org/profile/lutzstrassburger" class="navigate">Lutz Strassburger</a></div><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/7/Demo-Paper-Coqlex-an-approach-to-generate-verified-lexers" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/7/Demo-Paper-Coqlex-an-approach-to-generate-verified-lexers" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr><td><span data-event-star="501e9d7f-e98d-4ab0-8d2f-e97028a0cd84" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="501e9d7f-e98d-4ab0-8d2f-e97028a0cd84">Experience Report: Domain Modeling with F# (short talk)</a><div class="prog-track">ML</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/scottwlaschin" class="navigate">Scott Wlaschin</a></div><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/14/Experience-Report-Domain-Modeling-with-F-short-talk-" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/14/Experience-Report-Domain-Modeling-with-F-short-talk-" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr><td><span data-event-star="24b733b9-6f50-4ba4-97c7-d0c3fb7c9ccf" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="24b733b9-6f50-4ba4-97c7-d0c3fb7c9ccf">Formalizing OCaml GADT typing in Coq</a><div class="prog-track">ML</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/jacquesgarrigue1" class="navigate">Jacques Garrigue</a>, <a href="https://icfp21.sigplan.org/profile/xuanruiqi" class="navigate">Xuanrui Qi</a></div><a href="http://www.math.nagoya-u.ac.jp/~garrigue/cocti/ml2021.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/2/Formalizing-OCaml-GADT-typing-in-Coq" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr><td><span data-event-star="b4f54375-d29d-4ca1-ab34-9b7a5dc921dd" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="b4f54375-d29d-4ca1-ab34-9b7a5dc921dd">Frozen inference constraints for type-directed disambiguation</a><div class="prog-track">ML</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/oliviermartinot1" class="navigate">Olivier Martinot</a>, <a href="https://icfp21.sigplan.org/profile/gabrielscherer" class="navigate">Gabriel Scherer</a></div><a href="http://gallium.inria.fr/~scherer/research/constraints/frozen-constraints/short-abstract.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/10/Frozen-inference-constraints-for-type-directed-disambiguation" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr><td><span data-event-star="effd01ee-6f97-4ae8-9ff2-f99ea232a870" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="effd01ee-6f97-4ae8-9ff2-f99ea232a870">Hobbit: A Tool for Contextual Equivalence Checking Using Bisimulation Up-to Techniques</a><div class="prog-track">ML</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/vasileioskoutavas" class="navigate">Vasileios Koutavas</a>, <a href="https://icfp21.sigplan.org/profile/yuyanglin" class="navigate">Yu-Yang Lin</a>, <a href="https://icfp21.sigplan.org/profile/nikostzevelekos" class="navigate">Nikos Tzevelekos</a></div><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/1/Hobbit-A-Tool-for-Contextual-Equivalence-Checking-Using-Bisimulation-Up-to-Technique" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr><td><span data-event-star="557e9481-1ed9-4291-a3ea-7a01495005cb" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="557e9481-1ed9-4291-a3ea-7a01495005cb">Isomorphisms are back! (short talk)</a><div class="prog-track">ML</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/clementallain" class="navigate">Clément Allain</a>, <a href="https://icfp21.sigplan.org/profile/gabrielradanne" class="navigate">Gabriel Radanne</a>, <a href="https://icfp21.sigplan.org/profile/lauregonnord" class="navigate">Laure Gonnord</a></div><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/12/Isomorphisms-are-back-short-talk-" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr><td><span data-event-star="551decf6-a420-45c2-b368-7fe359cc697b" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="551decf6-a420-45c2-b368-7fe359cc697b">Sylvester: Unified, typed, notation for symbolic mathematics and proofs (short talk)</a><div class="prog-track">ML</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/allisterbeharry" class="navigate">Allister Beharry</a></div><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/6/Sylvester-Unified-typed-notation-for-symbolic-mathematics-and-proofs-short-talk-" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/6/Sylvester-Unified-typed-notation-for-symbolic-mathematics-and-proofs-short-talk-" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr><tr><td><span data-event-star="8b7950a5-5292-4243-9c05-18abcfc8d529" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="8b7950a5-5292-4243-9c05-18abcfc8d529">Unfolding ML datatype declarations without loops</a><div class="prog-track">ML</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/nicolaschataing" class="navigate">Nicolas Chataing</a>, <a href="https://icfp21.sigplan.org/profile/gabrielscherer" class="navigate">Gabriel Scherer</a></div><a href="https://cambium.inria.fr/~scherer/research/constructor-unboxing/constructor-unboxing-ml-workshop-2021.pdf" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-link"></span> Pre-print</a><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/9/Unfolding-ML-datatype-declarations-without-loops" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-film"></span> Media Attached</a></td></tr><tr><td><span data-event-star="b10cace9-e5b8-436c-af7c-b35ac78a499f" title="Add event to your program"><span class="text-disabled glyphicon glyphicon-star-empty"></span></span></td><td><a href="#" data-event-modal="b10cace9-e5b8-436c-af7c-b35ac78a499f">Verifying Multiparty Communication Protocols using ML Type Systems</a><div class="prog-track">ML</div><div class="performers"><a href="https://icfp21.sigplan.org/profile/keigoimai" class="navigate">Keigo Imai</a>, <a href="https://icfp21.sigplan.org/profile/rumyananeykova" class="navigate">Rumyana Neykova</a>, <a href="https://icfp21.sigplan.org/profile/nobukoyoshida" class="navigate">Nobuko Yoshida</a>, <a href="https://icfp21.sigplan.org/profile/shojiyuen" class="navigate">Shoji Yuen</a></div><a href="https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/3/Verifying-Multiparty-Communication-Protocols-using-ML-Type-Systems" target="_blank" class="publication-link navigate"><span class="glyphicon glyphicon-paperclip"></span> File Attached</a></td></tr></table></div><div id="Call-for-Presentations" class="tab-pane "><h2>Call for Presentations</h2><p><h3><a href="#format" id="format" class="anchor-link">Format</a></h3> <p>The ML 2021 workshop will continue the informal approach followed since 2010. Presentations are selected by the program committee from submitted abstracts. There are no published proceedings, so contributions may be submitted for publication elsewhere. We expect research presentations of original and novel work, but emphasize that rigorous descriptions do not prevent preliminary or surprising work: we hope to encourage exciting (if unpolished) research and deliver a lively workshop atmosphere.</p> <p>Each presentation should take 20-25 minutes, except demos, which should take 10-15 minutes. The exact time will be decided based on the number of accepted submissions. The presentations will likely be recorded.</p> <p>Due to the COVID-19 pandemic, the workshop will take place online.</p> <h3><a href="#scope" id="scope" class="anchor-link">Scope</a></h3> <p>We seek research presentations on topics including (but not limited to):</p> <ul> <li>Language design: abstraction, higher forms of polymorphism, concurrency, distribution and mobility, staging, extensions for semi-structured data, generic programming, object systems, etc.</li> <li>Implementation: compilers, interpreters, type checkers, partial evaluators, runtime systems, garbage collectors, foreign function interfaces, etc.</li> <li>Type systems: inference, effects, modules, contracts, specifications and assertions, dynamic typing, error reporting, etc.</li> <li>Applications: case studies, experience reports, pearls, etc.</li> <li>Environments: libraries, tools, editors, debuggers, cross-language interoperability, functional data structures, etc.</li> <li>Semantics: operational and denotational semantics, program equivalence, parametricity, mechanization, etc.</li> </ul> <p>Four kinds of submissions will be accepted: Research Presentations, Experience Reports, Demos, and Informed Positions.</p> <ul> <li>Research Presentations: Research presentations should describe new ideas, experimental results, or significant advances in ML-related projects. We especially encourage presentations that describe work in progress, that outline a future research agenda, or that encourage lively discussion. These presentations should be structured in a way which can be, at least in part, of interest to (advanced) users.</li> <li>Experience Reports: Users are invited to submit Experience Reports about their use of ML and related languages. These presentations do not need to contain original research but they should tell an interesting story to researchers or other advanced users, such as an innovative or unexpected use of advanced features or a description of the challenges they are facing or attempting to solve.</li> <li>Demos: Live demonstrations or short tutorials should show new developments, interesting prototypes, or work in progress, in the form of tools, libraries, or applications built on or related to ML and related languages. (You will need to provide all the hardware and software required for your demo; the workshop organisers are only able to provide a projector.)</li> <li>Informed Positions: A justified argument for or against a language feature. The argument must be substantiated, either theoretically (e.g. by a demonstration of (un)soundness, an inference algorithm, a complexity analysis), empirically or by substantial experience. Personal experience is accepted as justification so long as it is extensive and illustrated with concrete examples.</li> </ul> <h3><a href="#important-dates" id="important-dates" class="anchor-link">Important dates:</a></h3> <ul> <li>Thursday May 27th: Abstract submission deadline</li> <li>Thursday June 18th: Author notification</li> <li>Thursday August 26th (tentative): ML Family Workshop</li> </ul> <h3><a href="#submission-details" id="submission-details" class="anchor-link">Submission details</a></h3> <p>Submissions should be between one and three pages long, in PDF format, and printable on US Letter or A4 sized paper. The submission should have a short abstract and a body between 0 and 3 pages, in one- or two-column layout. The abstract should be suitable for inclusion in the workshop program. The bibliography will not be counted against the page limit. Appendices may be provided, but reviewers will only look at them if they are curious. Similarly, links to an extended presentation of the submitted work may be provided.</p> <p>Submissions must be uploaded to the <a href="https://ml21.hotcrp.com/">workshop submission website</a> before the submission deadline (Thursday May 27th).</p> <p>Finally, please be aware that the submissions may be made public – in particular, accepted submissions may be made public on the conference website. Do not include confidential information in the submitted PDF.</p> <h3><a href="#coordination-with-the-ocaml-users-and-developers-workshop" id="coordination-with-the-ocaml-users-and-developers-workshop" class="anchor-link">Coordination with the OCaml Users and Developers Workshop</a></h3> <p>The OCaml workshop is seen as more practical and is dedicated in significant part to OCaml community building and the development of the OCaml system. In contrast, the ML family workshop is not focused on any language in particular, is more research-oriented, and deals with general issues of ML-style programming and type systems. Yet there is an overlap, which we are keen to explore in various ways. The authors who feel their submission fits both workshops are encouraged to mention it at submission time or contact the program chairs.</p> </p></div></div><span class="pull-right"><small>Questions? Use the <a href="https://icfp21.sigplan.org/contact2/mlfamilyworkshop-2021-papers" class="navigate">ML contact form</a>.</small></span><br></div><div class="col-sm-4 sidebar"><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title">Important Dates<span class="pull-right"><small><span class="glyphicon glyphicon-globe"></span><span class="glyphicon glyphicon-time"></span> AoE (UTC-12h)</small></span></div></div><table class="table table-hover important-dates-in-sidebar"><tr href="https://icfp21.sigplan.org/home/mlfamilyworkshop-2021" class="clickable-row past"><td><strong>Thu 26 Aug 2021</strong><br/><strong>virtual workshop</strong></td></tr><tr href="https://icfp21.sigplan.org/home/mlfamilyworkshop-2021" class="clickable-row past"><td>Thu 24 Jun 2021<br/>author notification</td></tr><tr href="https://icfp21.sigplan.org/home/mlfamilyworkshop-2021" class="clickable-row past"><td><strong>Thu 3 Jun 2021</strong><br/><strong>submission deadline (extended)</strong></td></tr></table></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title">Submission Link</div></div><div class="panel-body"><small><span class="text-muted"><span class="glyphicon glyphicon-new-window"></span></span> <a href="https://ml21.hotcrp.com" title="Submission link for Call for Presentations" target="_blank" class="navigate">https://ml21.hotcrp.com</a></small></div></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://icfp21.sigplan.org/committee/mlfamilyworkshop-2021-papers-organizing-committee" class="navigate">Organizing Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/jonathanprotzenko" class="navigate"><div class="media"><span class="pull-left"><img alt="Jonathan Protzenko" src="https://icfp21.sigplan.org/getProfileImage/jonathanprotzenko/c0bb68c8-f0b2-405b-9aec-703f30b22562/micro-avatar.jpg?1711457573000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Jonathan Protzenko<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Microsoft Research, Redmond</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li></ul></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://icfp21.sigplan.org/committee/mlfamilyworkshop-2021-papers-program-committee" class="navigate">Program Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/danelahman" class="navigate"><div class="media"><span class="pull-left"><img alt="Danel Ahman" src="https://icfp21.sigplan.org/getProfileImage/danelahman/84e7170c-1229-48f2-85a6-92d21530effe/micro-avatar.jpg?1711473740000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Danel Ahman<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Ljubljana</span></h5><h5 class="media-heading"><small>Slovenia</small></h5></div></div></a></li><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/robertatkey" class="navigate"><div class="media"><span class="pull-left"><img alt="Robert Atkey" src="https://icfp21.sigplan.org/getProfileImage/robertatkey/34bb4c80-3ef8-41ad-885e-12e5693a81c1/micro-avatar.jpg?1711470890000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Robert Atkey<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Strathclyde</span></h5></div></div></a></li><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/fredericbour" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://icfp21.sigplan.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Frédéric Bour<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Tarides</span></h5><h5 class="media-heading"><small>France</small></h5></div></div></a></li><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/youyoucong" class="navigate"><div class="media"><span class="pull-left"><img alt="Youyou Cong" src="https://icfp21.sigplan.org/getProfileImage/youyoucong/c3451521-fd5b-439d-bbac-4209230ee5e8/micro-avatar.jpg?1711456512000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Youyou Cong<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Tokyo Institute of Technology</span></h5><h5 class="media-heading"><small>Japan</small></h5></div></div></a></li><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/richardeisenberg" class="navigate"><div class="media"><span class="pull-left"><img alt="Richard A. Eisenberg" src="https://icfp21.sigplan.org/getProfileImage/richardeisenberg/279f613c-6b35-4a64-82b3-106ad8fbf8c8/micro-avatar.jpg?1726745884000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Richard A. Eisenberg<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Tweag</span></h5><h5 class="media-heading"><small>United States</small></h5></div></div></a></li><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/martinelsman" class="navigate"><div class="media"><span class="pull-left"><img alt="Martin Elsman" src="https://icfp21.sigplan.org/getProfileImage/martinelsman/96f0dd5f-b716-4fb0-bc19-cd90268f2c56/micro-avatar.jpg?1711465836000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Martin Elsman<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Copenhagen, Denmark</span></h5><h5 class="media-heading"><small>Denmark</small></h5></div></div></a></li><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/ohadkammar" class="navigate"><div class="media"><span class="pull-left"><img alt="Ohad Kammar" src="https://icfp21.sigplan.org/getProfileImage/ohadkammar/24fa9849-64e8-49b6-ad65-3c7ff984e1a1/micro-avatar.jpg?1711456045000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Ohad Kammar<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Edinburgh</span></h5><h5 class="media-heading"><small>United Kingdom</small></h5></div></div></a></li><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/naokikobayashi" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://icfp21.sigplan.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Naoki Kobayashi<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Tokyo, Japan</span></h5><h5 class="media-heading"><small>Japan</small></h5></div></div></a></li><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/benoitmontagu1" class="navigate"><div class="media"><span class="pull-left"><img alt="Benoît Montagu" src="https://icfp21.sigplan.org/getProfileImage/benoitmontagu1/bc19f863-7c92-42ce-a058-0450a8be86d2/micro-avatar.jpg?1711461703000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Benoît Montagu<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Inria</span></h5><h5 class="media-heading"><small>France</small></h5></div></div></a></li><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/kristinasojakova" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://icfp21.sigplan.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Kristina Sojakova<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">INRIA Paris</span></h5><h5 class="media-heading"><small>France</small></h5></div></div></a></li><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/donsyme" class="navigate"><div class="media"><span class="pull-left"><img alt="Don Syme" src="https://icfp21.sigplan.org/getProfileImage/donsyme/fa86de30-3931-4f30-95b6-779e84998496/micro-avatar.jpg?1711542377000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Don Syme<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Microsoft</span></h5></div></div></a></li><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/matiastoro" class="navigate"><div class="media"><span class="pull-left"><img alt="Matías Toro" src="https://icfp21.sigplan.org/getProfileImage/matiastoro/79c1bcba-856b-4940-bd9e-a57d1bab1968/micro-avatar.jpg?1736419817000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Matías Toro<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">University of Chile</span></h5></div></div></a></li><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/katsuhiroueno" class="navigate"><div class="media"><span class="pull-left"><img alt="Katsuhiro Ueno" src="https://icfp21.sigplan.org/getProfileImage/katsuhiroueno/dacccff7-7b5e-4ff4-9921-65864f666c1b/micro-avatar.jpg?1711493398000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Katsuhiro Ueno<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Tohoku University</span></h5><h5 class="media-heading"><small>Japan</small></h5></div></div></a></li><li class="list-group-item"><a href="https://icfp21.sigplan.org/profile/ezgicicek" class="navigate"><div class="media"><span class="pull-left"><img alt="Ezgi Çiçek" src="https://icfp21.sigplan.org/getProfileImage/ezgicicek/f64ab060-4bcb-4638-9624-84f54f18f5a4/micro-avatar.jpg?1711491778000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Ezgi Çiçek<span class="pull-right"><small></small></span></h5><h5 class="media-heading"><span class="text-black">Facebook London</span></h5></div></div></a></li></ul></div></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Wed 19 Feb 21:31</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>