CINXE.COM
ICFP 2016
<!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://icfp16.sigplan.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://icfp16.sigplan.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>ICFP 2016</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://icfp16.sigplan.org";</script> <link rel="stylesheet" href="https://icfp16.sigplan.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://icfp16.sigplan.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://icfp16.sigplan.org/getFile/04f622f2-2d1a-49f3-8bc3-86903f163082/catchx - ICFP.css?1461061048018" type="text/css" /><link rel="stylesheet" href="https://icfp16.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://icfp16.sigplan.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://icfp16.sigplan.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://icfp16.sigplan.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://icfp16.sigplan.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://icfp16.sigplan.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://icfp16.sigplan.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <meta name='description' content='ICFP 2016 is the 21st ACM SIGPLAN International Conference on Functional Programming. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. During the conference there will be a Student Research Competition for Graduate and Undergraduate students. Submission deadline: August 3rd, 2016. Prior to the conference the ICFP Programming Contest will be held from August 5 to August 8. ...'> <script type="text/javascript">$(document).ready( function(){ $('#program-menu a[data-fltr-type]').on('click', function(event){ event.preventDefault(); window.location = $(this).attr('href') + "?" + encodeURIComponent( $(this).data('fltr-type') ) + '=' + encodeURIComponent( $(this).data('fltr-val') ); }) }) </script> <script type="text/javascript">(function($){ $(document).ready(function(){ $('ul.dropdown-menu [data-toggle=dropdown]').on('click', function(event) { event.preventDefault(); event.stopPropagation(); $(this).parent().siblings().removeClass('open'); $(this).parent().toggleClass('open'); }); }); })(jQuery); </script> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://icfp16.sigplan.org/getImage/carousel/DSC05037-edit.jpg?1445216840000'> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='ICFP 2016'> <meta prefix='og: http://ogp.me/ns#' property='og:description' content='ICFP 2016 is the 21st ACM SIGPLAN International Conference on Functional Programming. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. During the conference there will be a Student Research Competition for Graduate and Undergraduate students. Submission deadline: August 3rd, 2016. Prior to the conference the ICFP Programming Contest will be held from August 5 to August 8. ...'> <script type="text/javascript">function addEventModalLoadOnClick( containerNode ){ $(containerNode).find( "a[data-event-modal]" ).on("click", function(e){ var eventId = $(this).data("event-modal"); var modalElem = $("#modal-" + eventId); if(modalElem.length){ modalElem.modal({ backdrop: 'static', keyboard: true}, 'show'); } else { var loaderElem = $("#event-modal-loader"); loaderElem.find("input.event-id-input").val( eventId ); loaderElem.find("#load-modal-action").click(); } e.preventDefault(); } ); } </script><script type="text/javascript">function addStarredEventOnClick( containerNode ){ $(containerNode).find( "[data-event-star]" ).on("click", function(e){ var eventId = $(this).data("event-star"); var starEventFormElem = $("#event-star-form"); starEventFormElem.find("input.event-id-input").val( eventId ); starEventFormElem.find("#star-event-action").click(); e.preventDefault(); e.stopPropagation(); } ); } </script><script type="text/javascript">function pauseOnCloseModal( modalid ){ //pauses video (only youtube at the moment) when closing modal $('#' + modalid).on('hidden.bs.modal', function () { $(this).find('.embed-container iframe[src*=enablejsapi]').each( function(){ this.contentWindow.postMessage('{"event":"command","func":"pauseVideo","args":""}', '*') } ); } ) } </script> </head> <body id="home"><div class="frame"><a href="https://icfp16.sigplan.org/blogposts" class="blog-link btn btn-xs btn-default navigate">Write a Blog >></a><div class="logobar"><div class="container"><a href="https://icfp16.sigplan.org" class="navbar-brand navigate"><span class="brand-text">ICFP 2016</span></a><div class="place">Sun 18 - Sat 24 September 2016 <a href="https://icfp16.sigplan.org/venue/NKIF" class="navigate">Nara, Japan</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://icfp16.sigplan.org/venue/NKIF" class="navigate">Venue: Nara Kasugano International Forum</a></li><li class="block"><a href="https://icfp16.sigplan.org/attending/local" class="navigate">Travel information</a></li><li class="block"><a href="https://icfp16.sigplan.org/attending/accommodation" class="navigate">Accommodation</a></li><li class="block"><a href="https://icfp16.sigplan.org/attending/visas" class="navigate">Visas</a></li><li class="block"><a href="https://icfp16.sigplan.org/attending/Registration" class="navigate">Registration</a></li><li class="block"><a href="https://icfp16.sigplan.org/attending/student-travel-support" class="navigate">Student Travel Support</a></li><li class="block"><a href="https://icfp16.sigplan.org/attending/Student+Volunteers" class="navigate">Student Volunteers</a></li><li class="block"><a href="https://icfp16.sigplan.org/attending/code-of-conduct" class="navigate">Code of Conduct</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://icfp16.sigplan.org/program/program-icfp-2016/" class="navigate">ICFP Program</a></li><li class="block"><a href="https://icfp16.sigplan.org/program/program-icfp-2016/" data-fltr-type="prog" data-fltr-val="Your Program" class="navigate"><span class="glyphicon glyphicon-star"></span> Your Program</a></li><li class="block"><a href="https://icfp16.sigplan.org/info/dbr-faq" class="navigate">Submission and Reviewing FAQ</a></li><li class="block"><a href="https://icfp16.sigplan.org/info/call-for-sponsorships" class="navigate">Call for Sponsorships</a></li><li class="block"><a href="https://icfp16.sigplan.org/info/student-research-competition" class="navigate">Student Research Competition</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://icfp16.sigplan.org/program/program-icfp-2016/" data-fltr-type="date" data-fltr-val="Sun 18 Sep 2016" class="navigate">Sun 18 Sep</a></li><li class="block"><a href="https://icfp16.sigplan.org/program/program-icfp-2016/" data-fltr-type="date" data-fltr-val="Mon 19 Sep 2016" class="navigate">Mon 19 Sep</a></li><li class="block"><a href="https://icfp16.sigplan.org/program/program-icfp-2016/" data-fltr-type="date" data-fltr-val="Tue 20 Sep 2016" class="navigate">Tue 20 Sep</a></li><li class="block"><a href="https://icfp16.sigplan.org/program/program-icfp-2016/" data-fltr-type="date" data-fltr-val="Wed 21 Sep 2016" class="navigate">Wed 21 Sep</a></li><li class="block"><a href="https://icfp16.sigplan.org/program/program-icfp-2016/" data-fltr-type="date" data-fltr-val="Thu 22 Sep 2016" class="navigate">Thu 22 Sep</a></li><li class="block"><a href="https://icfp16.sigplan.org/program/program-icfp-2016/" data-fltr-type="date" data-fltr-val="Fri 23 Sep 2016" class="navigate">Fri 23 Sep</a></li><li class="block"><a href="https://icfp16.sigplan.org/program/program-icfp-2016/" data-fltr-type="date" data-fltr-val="Sat 24 Sep 2016" class="navigate">Sat 24 Sep</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 2016</li><li class="block"><a href="https://icfp16.sigplan.org/track/icfp-2016-keynote-talks" class="navigate">Keynote Talks</a></li><li class="block"><a href="https://icfp16.sigplan.org/track/icfp-2016-ICFP-2016-Report" class="navigate">Reports</a></li><li class="block"><a href="https://icfp16.sigplan.org/track/icfp-2016-papers" class="navigate">Research Papers</a></li><li class="block"><a href="https://icfp16.sigplan.org/track/icfp-2016-Tutorials" class="navigate">Tutorials</a></li><li class="block"><a href="https://icfp16.sigplan.org/track/icfp-2016-workshops" class="navigate">Workshops</a></li></ul></div><div class="col-sm-7"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Co-hosted Conferences</li><li class="block"><a href="https://conf.researchr.org/track/cufp-2016/cufp-2016-papers" class="navigate"><strong>CUFP</strong> </a></li><li class="block dropdown-header">Workshops</li><li class="block"><a href="https://icfp16.sigplan.org/track/erlang-2016-papers" class="navigate"><strong>Erlang</strong> </a></li><li class="block"><a href="https://icfp16.sigplan.org/track/farm-2016-papers" class="navigate"><strong>FARM</strong> </a></li><li class="block"><a href="https://icfp16.sigplan.org/track/FHPC-2016-papers" class="navigate"><strong>FHPC</strong> </a></li><li class="block"><a href="https://icfp16.sigplan.org/track/hiw-2016-papers" class="navigate"><strong>HIW</strong> </a></li><li class="block"><a href="https://icfp16.sigplan.org/track/hope-2016-papers" class="navigate"><strong>HOPE</strong> </a></li><li class="block"><a href="https://icfp16.sigplan.org/track/mlfamilyworkshop-2016-papers" class="navigate"><strong>ML</strong> </a></li><li class="block"><a href="https://icfp16.sigplan.org/track/ocaml-2016-papers" class="navigate"><strong>OCaml</strong> </a></li><li class="block"><a href="https://icfp16.sigplan.org/track/PLMW-ICFP-2016" class="navigate"><strong>PLMW</strong> </a></li><li class="block"><a href="https://icfp16.sigplan.org/track/scheme-2016-papers" class="navigate"><strong>Scheme</strong> </a></li><li class="block"><a href="https://icfp16.sigplan.org/track/tyde-2016-papers" class="navigate"><strong>TyDe</strong> </a></li><li class="block dropdown-header">Co-hosted Symposia</li><li class="block"><a href="https://icfp16.sigplan.org/track/haskellsymp-2016-papers" 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 2016 Committees</li><li class="block"><a href="https://icfp16.sigplan.org/committee/icfp-2016-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp16.sigplan.org/committee/icfp-2016-steering-committee" class="navigate">Steering Committee</a></li><li class="block dropdown-header">Track Committees </li><li class="block"><a href="https://icfp16.sigplan.org/committee/icfp-2016-papers-program-committee" class="navigate"><strong>Research Papers</strong> <small>Program Committee</small></a></li><li class="block"><a href="https://icfp16.sigplan.org/committee/icfp-2016-papers-external-review-committee" class="navigate"><strong>Research Papers</strong> <small>External Review Committee</small></a></li><li class="block"><a href="https://icfp16.sigplan.org/committee/icfp-2016-tutorials-program" class="navigate"><strong>Tutorials</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://icfp16.sigplan.org/people-index" class="navigate"><span class="glyphicon glyphicon-search"></span><sup><span class="glyphicon glyphicon-user"></span></sup> People Index</a></li></ul></div><div class="col-sm-6"><ul class="block multi-column-dropdown"><li class="block dropdown-header">Co-hosted Conferences</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>CUFP</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://conf.researchr.org/committee/cufp-2016/cufp-2016-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://conf.researchr.org/committee/cufp-2016/cufp-2016-papers-program-committee" class="navigate">Program Committee</a></li></ul></li><li class="block dropdown-header">Workshops</li><li class="dropdown dropdown-submenu "><a href="#" data-toggle="dropdown" class="dropdown-toggle"><strong>Erlang</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp16.sigplan.org/committee/erlang-2016-papers-organizing-committee" class="navigate">Organizing Committee </a></li><li class="block"><a href="https://icfp16.sigplan.org/committee/erlang-2016-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://icfp16.sigplan.org/committee/farm-2016-papers-organising-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp16.sigplan.org/committee/farm-2016-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>FHPC</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp16.sigplan.org/committee/fhpc-2016-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp16.sigplan.org/committee/fhpc-2016-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://icfp16.sigplan.org/committee/hiw-2016-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://icfp16.sigplan.org/committee/hope-2016-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>ML</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp16.sigplan.org/committee/mlfamilyworkshop-2016-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://icfp16.sigplan.org/committee/mlfamilyworkshop-2016-papers-steering-committee" class="navigate">Steering 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://icfp16.sigplan.org/committee/ocaml-2016-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp16.sigplan.org/committee/ocaml-2016-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</strong></a><ul class="block dropdown-menu"><li class="block"><a href="https://icfp16.sigplan.org/committee/plmw-icfp-2016-speakers" class="navigate">Speakers</a></li><li class="block"><a href="https://icfp16.sigplan.org/committee/plmw-icfp-2016-papers-program-committee" class="navigate">Organizers</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://icfp16.sigplan.org/committee/scheme-2016-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp16.sigplan.org/committee/scheme-2016-papers-program-committee" class="navigate">Program Committee</a></li><li class="block"><a href="https://icfp16.sigplan.org/committee/scheme-2016-papers-steering-committee" class="navigate">Steering 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://icfp16.sigplan.org/committee/tyde-2016-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp16.sigplan.org/committee/tyde-2016-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://icfp16.sigplan.org/committee/haskellsymp-2016-papers-organizing-committee" class="navigate">Organizing Committee</a></li><li class="block"><a href="https://icfp16.sigplan.org/committee/haskellsymp-2016-papers-program-committee" class="navigate">Program Committee</a></li></ul></li></ul></div></div></ul></li><li class="block"><a href="https://icfp16.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://icfp16.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"><a href="https://icfp21.sigplan.org" class="navigate">ICFP 2021</a></li><li class="block"><a href="https://icfp20.sigplan.org" class="navigate">ICFP 2020</a></li><li class="block"><a href="https://icfp19.sigplan.org" class="navigate">ICFP 2019</a></li><li class="block"><a href="https://icfp18.sigplan.org" class="navigate">ICFP 2018</a></li><li class="block"><a href="https://icfp17.sigplan.org" class="navigate">ICFP 2017</a></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> ICFP 2016</span></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-2016/https%3A%5Es%5Esicfp16.sigplan.org%5Es" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://icfp16.sigplan.org/signup" class="navigate">Sign up</a></li></ul></div></div></div></div><script type="text/javascript">$(document).ready(function(){ $('.carousel').carousel({ interval: 10000 }) }); </script><div id="carousel-d0207997-4a89-4925-a92b-e8fc713c7c15" data-ride="carousel" class="carousel slide carousel-fade"><ol class="carousel-indicators"><li data-target="#carousel-d0207997-4a89-4925-a92b-e8fc713c7c15" data-slide-to="0" class="active"></li><li data-target="#carousel-d0207997-4a89-4925-a92b-e8fc713c7c15" data-slide-to="1"></li><li data-target="#carousel-d0207997-4a89-4925-a92b-e8fc713c7c15" data-slide-to="2"></li><li data-target="#carousel-d0207997-4a89-4925-a92b-e8fc713c7c15" data-slide-to="3"></li></ol><div class="carousel-inner" style="background-color: #FFF;"><div class="item active"><div class="fill" style="background-image:url('https://icfp16.sigplan.org/getImage/carousel/DSC05037-edit.jpg?1445216840000');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Nara Kasugano International Forum</h3><h5><p>Conference venue</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://icfp16.sigplan.org/getImage/carousel/DSC05015.JPG?1441191785000');"></div><div class="attribution"></div><div class="carousel-caption"><h3></h3><h5><p>Kasuga Shrine path</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://icfp16.sigplan.org/getImage/carousel/image.jpg?1441192075000');"></div><div class="attribution"></div><div class="carousel-caption"><h3></h3><h5><p>Nara park</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('https://icfp16.sigplan.org/getImage/carousel/DSC05012.JPG?1441191827000');"></div><div class="attribution"></div><div class="carousel-caption"><h3></h3><h5><p>Sarusawa pond</p></h5></div></div></div><a href="#carousel-d0207997-4a89-4925-a92b-e8fc713c7c15" data-slide="prev" class="left carousel-control"><span class="glyphicon glyphicon-chevron-left"></span></a><a href="#carousel-d0207997-4a89-4925-a92b-e8fc713c7c15" data-slide="next" class="right carousel-control"><span class="glyphicon glyphicon-chevron-right"></span></a></div><div id="content" class="container"><div class="row"><div class="col-sm-7"><div class="row"><div class="col-sm-12"><div class="page-header"><h1>ICFP 2016</h1></div><p>ICFP 2016 is the <b>21st ACM SIGPLAN International Conference on Functional Programming</b>.</p> <p><a href="http://icfpconference.org/">ICFP</a> provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries.</p> <p>During the conference there will be a <a href="http://conf.researchr.org/info/icfp-2016/student-research-competition">Student Research Competition</a> for Graduate and Undergraduate students. Submission deadline: August 3rd, 2016.</p> <p>Prior to the conference the <a href="http://2016.icfpcontest.org">ICFP Programming Contest</a> will be held from August 5 to August 8.</p> <p>We are pleased to offer <a href="http://sigplan.org/OpenTOC/icfp16.html">free access to the proceedings of ICFP 2016 via the ACM OpenTOC service</a>.</p> <!-- As usual, ICFP comes with many co-located events. --- | --- Sep 18 | [PLMW](/home/PLMW-ICFP-2016), [HOPE](/track/icfp-2016/hope-2016-papers), [TyDe](/track/icfp-2016/tyde-2016-papers), and [Scheme](http://scheme2016.snow-fort.org/) Sep 22-23 | [Haskell Symposium](https://www.haskell.org/haskell-symposium/2016/index.html) and [CUFP tutorials](http://cufp.org/2016/) Sep 22 | [ML](http://www.mlworkshop.org/ml2016) and [FHPC](/track/icfp-2016/fhpc-2016-papers) Sep 23 | [OCaml](http://ocaml.org/meetings/ocaml/2016/) and [Erlang](/track/icfp-2016/erlang-2016-papers) Sep 24 | [CUFP](http://cufp.org/2016/), [FARM](http://functional-art.org/2016/) and [HIW](https://wiki.haskell.org/HaskellImplementorsWorkshop/2016) <div align="right"> <img height=120 src="http://conf.researchr.org/getImage/icfp-2016/orig/logo-icfp-2016-300dpi-without-bg.png"></a> </div> --> </div></div><div class="row"><div class="col-sm-12"><div class="page-header"><h3>Events</h3></div><!-- ####Schedule Overview --> <center> <style type="text/css"> .tg {border-collapse:collapse;border-spacing:0;} .tg td{font-family:Arial, sans-serif;font-size:14px;padding:10px 10px;border-style: hidden;overflow:hidden;word-break:normal;} .tg th{font-family:Arial, sans-serif;font-size:14px;font-weight:normal;padding:10px 10px;border-style:solid;border-width:0px;overflow:hidden;word-break:normal;} .tg .tg-symp{background-color:#BB00BB} .tg .tg-work{background-color:#0000BB; background-image: repeating-linear-gradient(135deg, transparent, transparent 35px, rgba(0,0,255,.5) 35px, rgba(0,0,255,.5) 70px);} .tg .tg-conf{background-color:#00BBBB} .tg .tg-tut{background-color:#00A080} .tg .tg-main{background-color:#BB0000;font-size:40px} .tg .tg-other{background-color:#BBBBBB;} .tg, .tg th {text-align:center;opacity: .85;} .tg a {color:white;} .tg a:hover {opacity:.8} </style> <table class="tg" border="0"> <tbody> <tr> <th>Sunday<br>18th</th> <th>Monday<br>19th</th> <th>Tuesday<br>20th</th> <th>Wednesday<br>21st</th> <th>Thursday<br>22nd</th> <th>Friday<br>23rd</th> <th>Saturday<br>24th</th> </tr> <tr> <td class="tg-work"><a href="http://conf.researchr.org/track/icfp-2016/hope-2016-papers"><strong>HOPE</strong><br><font size="1">Higher-Order Programming</font></a></td> <td class="tg-main" colspan="3" rowspan="4"><a href="http://conf.researchr.org/track/icfp-2016/icfp-2016-papers"><strong>ICFP</strong><br><font size="1"></font></a></td> <td class="tg-symp" colspan="2"><a href="https://www.haskell.org/haskell-symposium/2016/index.html"><strong>Haskell</strong><br><font size="1"></font></a></td> <td class="tg-conf" colspan="1"><a href="http://cufp.org/2016/"><strong>CUFP</strong><br><font size="1">Commercial Users of FP</font></a></td> </tr> <tr> <td class="tg-work"><a href="http://conf.researchr.org/track/PLMW-ICFP-2016/PLMW-ICFP-2016"><strong>PLMW</strong><br><font size="1">Mentoring Workshop</font></a></td> <td class="tg-work"><a href="http://www.mlworkshop.org/ml2016"><strong>ML</strong><br><font size="1"></font></a></td> <td class="tg-work"><a href="http://ocaml.org/meetings/ocaml/2016/"><strong>OCaml</strong><br><font size="1"></font></a></td> <td class="tg-work"><a href="https://wiki.haskell.org/HaskellImplementorsWorkshop/2016"><strong>HIW</strong><br><font size="1">Haskell Implementors</font></a></td> </tr> <tr> <td class="tg-work"><a href="http://scheme2016.snow-fort.org/"><strong>Scheme</strong><br><font size="1"></font></a></td> <td class="tg-work"><a href="http://conf.researchr.org/track/icfp-2016/FHPC-2016-papers"><strong>FHPC</strong><br><font size="1"></font></a></td> <td class="tg-work"><a href="http://conf.researchr.org/track/icfp-2016/erlang-2016-papers"><strong>Erlang</strong><br><font size="1"></font></a></td> <td class="tg-work"><a href="http://functional-art.org/2016"><strong>FARM</strong><br><font size="1">Art, Music, Modeling and Design</font></a></td> </tr> <tr> <td class="tg-work"><a href="http://conf.researchr.org/track/icfp-2016/tyde-2016-papers"><strong>TyDe</strong><br><font size="1">Type-Driven Development</font></a></td> <td class="tg-tut" colspan="2"><a href="http://cufp.org/2016/"><strong>CUFP Tutorials</strong><br><font size="1"></font></a></td> </tr> </tbody></table> </center> <p> </p> </div></div></div><div class="col-sm-4 col-sm-offset-1 sidebar"><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><span class="glyphicon glyphicon-road"></span> ICFP 2016 Tracks</div></div><div class="panel-body"><div class="all-tracks"><a href="https://icfp16.sigplan.org/track/icfp-2016-keynote-talks" class="text-muted navigate">ICFP 2016 Keynote Talks</a> | <a href="https://icfp16.sigplan.org/track/icfp-2016-ICFP-2016-Report" class="text-muted navigate">Reports</a> | <a href="https://icfp16.sigplan.org/track/icfp-2016-papers" class="text-muted navigate">Research Papers</a> | <a href="https://icfp16.sigplan.org/track/icfp-2016-Tutorials" class="text-muted navigate">Tutorials</a> | <a href="https://icfp16.sigplan.org/track/icfp-2016-workshops" class="text-muted navigate">Workshops</a><br><a href="javascript:var btn=$('#tracks-in-navbar:not(.open)>a'); if(btn){ if(!btn.is(':visible')){$('.navbar-toggle').click();} } btn.click(); $('html, body').animate({scrollTop: $(btn).offset().top}, 200); void(0);" class="small">Show all tracks</a></div></div></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><span class="glyphicon glyphicon-bullhorn"></span> <a href="https://icfp16.sigplan.org/news" class="navigate">Featured News</a></div></div><table class="table table-hover"><tr href="https://icfp16.sigplan.org/news#ICFP-Contest-site-live" class="clickable-row"><td>ICFP Contest site live<span class="pull-right"><small class="text-muted">Mon 22 Feb 2016</small></span></td></tr><tr href="https://icfp16.sigplan.org/news#2016-ICFP-Programming-Contest-dates" class="clickable-row"><td>2016 ICFP Programming Contest dates<span class="pull-right"><small class="text-muted">Tue 1 Sep 2015</small></span></td></tr></table></div><div class="panel panel-warning"><div class="panel-heading clearfix"><div class="panel-title">Supporters</div></div><table class="table table-hover"><tr href="https://ahrefs.com/about" title="ahrefs" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="ahrefs" src="https://icfp16.sigplan.org/getLogo/4829b315-7810-4c26-8233-31a4d18dbcc3?1460199898000" class="outputimage"/></span></td><td>Platinum Supporter</td></tr><tr href="https://www.janestreet.com/" title="Jane Street" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Jane Street" src="https://icfp16.sigplan.org/getLogo/8614910a-d0ae-4347-a47c-261c7396b587?1460405393000" class="outputimage"/></span></td><td>Platinum Supporter</td></tr><tr href="https://www.mozilla.org/en-US/research/" title="Mozilla Research" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Mozilla Research" src="https://icfp16.sigplan.org/getLogo/f49c2630-6a33-4f55-b8e2-7e0e1161e87a?1468005409000" class="outputimage"/></span></td><td>Gold Supporter</td></tr><tr href="http://ambiata.com" title="Ambiata" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Ambiata" src="https://icfp16.sigplan.org/getLogo/fcd9decb-ce27-45af-bac9-74e640356a4d?1468422899000" class="outputimage"/></span></td><td>Silver Supporter</td></tr><tr href="http://www.techatbloomberg.com/" title="Bloomberg" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Bloomberg" src="https://icfp16.sigplan.org/getLogo/e1fdd12d-118a-43e2-a138-fdfc51bdcf93?1469818276000" class="outputimage"/></span></td><td>Silver Supporter</td></tr><tr href="http://data61.csiro.au" title="Data 61 CSIRO" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Data 61 CSIRO" src="https://icfp16.sigplan.org/getLogo/a2abe113-a711-4df5-9b8e-b036e0472f4b?1473877634000" class="outputimage"/></span></td><td>Silver Supporter</td></tr><tr href="http://research.facebook.com" title="Facebook" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Facebook" src="https://icfp16.sigplan.org/getLogo/3de96292-11ca-4a32-bdd1-ed0f1c5bd395?1473256239000" class="outputimage"/></span></td><td>Silver Supporter</td></tr><tr href="http://galois.com/" title="Galois, Inc." class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Galois, Inc." src="https://icfp16.sigplan.org/getLogo/6ea2193f-16ae-4b9e-b433-136ad929eee3?1470677867000" class="outputimage"/></span></td><td>Silver Supporter</td></tr><tr href="http://www.tsurucapital.com/en/jobs.html" title="Tsuru Capital" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Tsuru Capital" src="https://icfp16.sigplan.org/getLogo/edf96e50-35c7-4839-99f5-ac51cfadf2a8?1467803618000" class="outputimage"/></span></td><td>Silver Supporter</td></tr><tr href="https://x.team/" title="X" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="X" src="https://icfp16.sigplan.org/getLogo/8e2d92c9-f6c5-4f55-bb55-6cfabf35e6d7?1470667578000" class="outputimage"/></span></td><td>Silver Supporter</td></tr><tr href="http://www.awakenetworks.com" title="Awake Networks" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Awake Networks" src="https://icfp16.sigplan.org/getLogo/bbfd3178-6175-4e50-a2c5-759d0454b2ab?1467895323000" class="outputimage"/></span></td><td>Bronze Supporter</td></tr><tr href="http://www.intellifactory.com/" title="IntelliFactory" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="IntelliFactory" src="https://icfp16.sigplan.org/getLogo/bbdeedef-784e-405a-8985-3a6ad69eeebb?1470669699000" class="outputimage"/></span></td><td>Bronze Supporter</td></tr><tr href="http://research.microsoft.com" title="Microsoft Research" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Microsoft Research" src="https://icfp16.sigplan.org/getLogo/6f477803-f4bd-441c-860d-e747e159dabc?1467803631000" class="outputimage"/></span></td><td>Bronze Supporter</td></tr><tr href="https://obsidian.systems/" title="Obsidian Systems" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Obsidian Systems" src="https://icfp16.sigplan.org/getLogo/44b52c78-1ae9-4708-a014-ed9e2cfe8895?1470669704000" class="outputimage"/></span></td><td>Bronze Supporter</td></tr><tr href="https://labs.oracle.com" title="Oracle Labs" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Oracle Labs" src="https://icfp16.sigplan.org/getLogo/d0f6371f-290e-4a9a-9740-2ab127409ccb?1471270011000" class="outputimage"/></span></td><td>Bronze Supporter</td></tr><tr href="https://www.stackbuilders.com/" title="StackBuilders" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="StackBuilders" src="https://icfp16.sigplan.org/getLogo/c74437c1-fadc-4219-9170-e29bf1ac23cf?1473175322000" class="outputimage"/></span></td><td>Bronze Supporter</td></tr><tr href="http://www.well-typed.com/" title="Well-Typed" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="Well-Typed" src="https://icfp16.sigplan.org/getLogo/2294abe2-0b5d-4387-b0d2-b3c7e100e41e?1469571307000" class="outputimage"/></span></td><td>Bronze Supporter</td></tr><tr href="http://www.acm.org" title="ACM" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="ACM" src="https://icfp16.sigplan.org/getLogo/478a286e-b45e-4c2e-8bd6-70e852883b8c?1453917271000" class="outputimage"/></span></td><td>Sponsor</td></tr><tr href="http://www.sigplan.org/" title="SIGPLAN" class="clickable-row new-window"><td><span class="supporter-logo "><img alt="SIGPLAN" src="https://icfp16.sigplan.org/getLogo/dd91afee-3eca-41d1-9c20-984423ea894a?1453917264000" class="outputimage"/></span></td><td>Sponsor</td></tr></table></div></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Fri 21 Feb 20:08</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://icfp16.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-2016" /><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://icfp16.sigplan.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"icfp-2016"},],"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://icfp16.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-2016" /><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://icfp16.sigplan.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"icfp-2016"},],"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://icfp16.sigplan.org" class="navigate"><span class="glyphicon glyphicon-home"></span> ICFP 2016</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://icfp16.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://icfp16.sigplan.org/track/icfp-2016-keynote-talks" class="navigate">Keynote Talks</a><br/><a href="https://icfp16.sigplan.org/track/icfp-2016-ICFP-2016-Report" class="navigate">Reports</a><br/><a href="https://icfp16.sigplan.org/track/icfp-2016-papers" class="navigate">Research Papers</a><br/><a href="https://icfp16.sigplan.org/track/icfp-2016-Tutorials" class="navigate">Tutorials</a><br/><a href="https://icfp16.sigplan.org/track/icfp-2016-workshops" class="navigate">Workshops</a></div><div class="col-sm-6"><h4>Co-hosted Conferences</h4><a href="https://conf.researchr.org/track/cufp-2016/cufp-2016-papers" class="navigate">CUFP 2016</a><br/><h4>Workshops</h4><a href="https://icfp16.sigplan.org/track/erlang-2016-papers" class="navigate">Erlang 2016</a><br/><a href="https://icfp16.sigplan.org/track/farm-2016-papers" class="navigate">FARM 2016</a><br/><a href="https://icfp16.sigplan.org/track/FHPC-2016-papers" class="navigate">FHPC 2016</a><br/><a href="https://icfp16.sigplan.org/track/hiw-2016-papers" class="navigate">HIW 2016</a><br/><a href="https://icfp16.sigplan.org/track/hope-2016-papers" class="navigate">HOPE 2016</a><br/><a href="https://icfp16.sigplan.org/track/mlfamilyworkshop-2016-papers" class="navigate">ML 2016</a><br/><a href="https://icfp16.sigplan.org/track/ocaml-2016-papers" class="navigate">OCaml 2016</a><br/><a href="https://icfp16.sigplan.org/track/PLMW-ICFP-2016" class="navigate">PLMW 2016</a><br/><a href="https://icfp16.sigplan.org/track/scheme-2016-papers" class="navigate">Scheme 2016</a><br/><a href="https://icfp16.sigplan.org/track/tyde-2016-papers" class="navigate">TyDe 2016</a><br/><h4>Co-hosted Symposia</h4><a href="https://icfp16.sigplan.org/track/haskellsymp-2016-papers" class="navigate">Haskell 2016</a></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://icfp16.sigplan.org/venue/NKIF" class="navigate">Venue: Nara Kasugano International Forum</a><br><a href="https://icfp16.sigplan.org/attending/local" class="navigate">Travel information</a><br><a href="https://icfp16.sigplan.org/attending/accommodation" class="navigate">Accommodation</a><br><a href="https://icfp16.sigplan.org/attending/visas" class="navigate">Visas</a><br><a href="https://icfp16.sigplan.org/attending/Registration" class="navigate">Registration</a><br><a href="https://icfp16.sigplan.org/attending/student-travel-support" class="navigate">Student Travel Support</a><br><a href="https://icfp16.sigplan.org/attending/Student+Volunteers" class="navigate">Student Volunteers</a><br><a href="https://icfp16.sigplan.org/attending/code-of-conduct" class="navigate">Code of Conduct</a></div><div class="col-sm-2"><script> function isCarousel() { var isManage; var $id = document.getElementsByTagName('body')[0].id; if($id.indexOf("manage") === 0) { isManage = true; } else{ isManage = false; } var isCarousel = document.getElementsByClassName('carousel'); console.log(isManage); if (isCarousel.length === 0 || isManage === true) { $('.navbar').after('<div id="carousel-0ded75f3-64b1-43bb-9823-9f682e489263" data-ride="carousel" class="carousel slide carousel-fade"><ol class="carousel-indicators"><li data-target="#carousel-0ded75f3-64b1-43bb-9823-9f682e489263" data-slide-to="0" class="active"></li><li data-target="#carousel-0ded75f3-64b1-43bb-9823-9f682e489263" data-slide-to="1"></li><li data-target="#carousel-0ded75f3-64b1-43bb-9823-9f682e489263" data-slide-to="2"></li><li data-target="#carousel-0ded75f3-64b1-43bb-9823-9f682e489263" data-slide-to="3"></li></ol><div class="carousel-inner" style="background-color: #FFF;"><div class="item active"><div class="fill" style="background-image:url('+"'"+'http://conf.researchr.org/getImage/icfp-2016/carousel/DSC05037-edit.jpg?1445216840000'+"'"+');"></div><div class="attribution"></div><div class="carousel-caption"><h3>Nara Kasugano International Forum</h3><h5><p>Conference venue</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('+"'"+'http://conf.researchr.org/getImage/icfp-2016/carousel/DSC05015.JPG?1441191785000'+"'"+');"></div><div class="attribution"></div><div class="carousel-caption"><h3></h3><h5><p>Kasuga Shrine path</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('+"'"+'http://conf.researchr.org/getImage/icfp-2016/carousel/image.jpg?1441192075000'+"'"+');"></div><div class="attribution"></div><div class="carousel-caption"><h3></h3><h5><p>Nara park</p></h5></div></div><div class="item"><div class="fill" style="background-image:url('+"'"+'http://conf.researchr.org/getImage/icfp-2016/carousel/DSC05012.JPG?1441191827000'+"'"+');"></div><div class="attribution"></div><div class="carousel-caption"><h3></h3><h5><p>Sarusawa pond</p></h5></div></div></div><a href="#carousel-0ded75f3-64b1-43bb-9823-9f682e489263" data-slide="prev" class="left carousel-control"><span class="glyphicon glyphicon-chevron-left"></span></a><a href="#carousel-0ded75f3-64b1-43bb-9823-9f682e489263" data-slide="next" class="right carousel-control"><span class="glyphicon glyphicon-chevron-right"></span></a></div>'); } } isCarousel(); $('.carousel').carousel({ interval: 10000}); </script></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>