Program - ICFP 2018

Sergey GoncharovFriedrich-Alexander-Universität Erlangen-Nürnberg, Christoph RauchFAU Erlangen-Nürnberg, Lehrstuhl 8, Lutz SchöderFAU Erlangen-Nürnberg, Lehrstuhl 8

12:00 - 13:30: Catering - Sunday lunch at Grand Hall

12:00 - 13:30
Lunch

Sunday lunch

13:30 - 15:10: PLMW @ ICFP 2018 - Session 3 at New York Central

13:30 - 14:03
Talk

How to write a Great Research Paper

Simon Peyton JonesMicrosoft, UK

14:03 - 14:36
Talk

Dependent Types

Stephanie WeirichUniversity of Pennsylvania, USA

14:36 - 15:10
Talk

An opinionated talk on how to give talks

Ranjit JhalaUniversity of California, San Diego

13:30 - 15:10: HIW 2018 - Types at Illinois Central
Chair(s): Niki VazouUniversity of Maryland, USA

13:30 - 13:55
Talk

Coercion Quantification

Ningning XieThe University of Hong Kong, Richard A. EisenbergBryn Mawr College, USA

Link to publication File Attached

13:55 - 14:20
Talk

Type-level visible type application

My NguyenBryn Mawr College

File Attached

14:20 - 14:45
Talk

Implementing Linear Haskell

Matthew PickeringUniversity of Bristol, Arnaud SpiwackTweag I/O

Media Attached

14:45 - 14:53
Talk

Lightning talk: Implementing a VMware Haskell Client with Extensible Records

Matthew RussellSimSpace

Link to publication File Attached

14:53 - 15:01
Talk

Lightning talk: Asterius: Bringing Haskell to WebAssembly

Shao ChengTweag I/O

Media Attached

15:01 - 15:10
Talk

Lightning talk: Perfomance impact of control flow optimization

Andreas Klebinger

13:30 - 14:10: HOPE 2018 - afternoon-1 at Frisco+Burlington Route

13:30 - 14:10
Talk

Functional programming with MLTS

Ulysse GérardINRIA, Dale MilerINRIA, Gabriel SchererINRIA Saclay

14:10 - 14:30: Catering - Sunday coffee break 3 at Catering

14:10 - 14:30
Coffee break

Sunday coffee break 3

14:30 - 15:10: HOPE 2018 - afternoon-2 at Frisco+Burlington Route

14:30 - 15:10
Talk

Taming Control Flow through Linear Effect Handlers

Daan LeijenMicrosoft Research, USA, Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany

15:10 - 15:30: Catering - Sunday coffee break 4 at Catering

15:10 - 15:30
Coffee break

Sunday coffee break 4

15:30 - 16:30: PLMW @ ICFP 2018 - Session 4 at New York Central

15:30 - 16:30
Talk

Panel Discussion: Research in Functional Programming

Alejandro RussoChalmers University of Technology, Sweden, Katie OtsFacebook, Leonidas LampropoulosUniversity of Pennsylvania, David DaraisUniversity of Vermont, Ivan PerezNational Institute of Aerospace, USA

15:30 - 16:45: HIW 2018 - Tools and Hardware at Illinois Central
Chair(s): Joachim BreitnerDFINITY Foundation

15:30 - 15:55
Talk

Pier: yet another Haskell build tool

Judah Jacobson

File Attached

15:55 - 16:20
Talk

Clash: a practical Haskell to circuit compiler

Christiaan BaaijQBayLogic B.V.

File Attached

16:20 - 16:28
Talk

Lightning talk: More Explicit Foralls in GHC

Matthew Yacavone

16:28 - 16:45
Other

GHC Community Discussion

Simon Peyton JonesMicrosoft, UK

15:30 - 16:10: HOPE 2018 - afternoon-3 at Frisco+Burlington Route

15:30 - 16:10
Talk

A domain theory for statistical probabilistic programming

Ohad KammarUniversity of Oxford, Matthijs VákárUniversity of Oxford, Sam StatonUniversity of Oxford

File Attached

Mon 24 Sep

09:00 - 10:00: Keynotes and Reports - Monday Keynote at Stifel Theatre
Chair(s): Robby FindlerNorthwestern University, USA

09:00 - 10:00
Talk

Gradual Typing

Ronald GarciaUniversity of British Columbia

10:05 - 10:30: Catering - Monday coffee break 1 at Catering

10:05 - 10:30
Coffee break

Monday coffee break 1

10:30 - 12:00: Research Papers - Environments and Tools at Stifel Theatre
Chair(s): Alejandro RussoChalmers University of Technology, Sweden

10:30 - 10:52
Talk

Build Systems à la CarteDistinguished Paper

Andrey MokhovNewcastle University, UK, Neil Mitchell, Simon Peyton JonesMicrosoft, UK

DOI

10:52 - 11:15
Talk

Keep Your Laziness in Check

Kenneth Foner, Hengchu ZhangUniversity of Pennsylvania, Leonidas LampropoulosUniversity of Pennsylvania

DOI

11:15 - 11:37
Talk

Merlin: A Language Server for OCaml (Experience Report)

Frédéric BourFacebook Paris, Thomas Réfis, Gabriel SchererINRIA Saclay

DOI

11:37 - 12:00
Talk

Functional Programming for Compiling and Decompiling Computer-Aided Design

Chandrakana NandiUniversity of Washington, USA, James R. WilcoxUniversity of Washington, Taylor BlauUniversity of Washington, Dan GrossmanUniversity of Washington, Zachary TatlockUniversity of Washington

DOI

12:00 - 13:00: Catering - Monday lunch at Catering

12:00 - 13:00
Lunch

Monday lunch

13:00 - 14:30: Research Papers - Program Construction at Stifel Theatre
Chair(s): J. Garrett MorrisUniversity of Kansas, USA

13:00 - 13:22
Talk

Prototyping a Functional Language using Higher-Order Logic Programming: A Functional Pearl on Learning the Ways of λProlog/Makam

Antonis StampoulisOriginate Inc., Adam ChlipalaMassachusetts Institute of Technology, USA

DOI

13:22 - 13:45
Talk

A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs

Guillaume AllaisRadboud University Nijmegen, Robert AtkeyUniversity of Strathclyde, James Chapman, Conor McBride, James McKinna

DOI

13:45 - 14:07
Talk

Reasonably Programmable Literal Notation

Cyrus OmarUniversity of Chicago, Jonathan AldrichCarnegie Mellon University

Link to publication DOI

14:07 - 14:30
Talk

Refunctionalization of Abstract Abstract Machines: Bridging the Gap between Abstract Abstract Machines and Abstract Definitional Interpreters (Functional Pearl)

Guannan WeiPurdue University, James Decker, Tiark RompfPurdue University

DOI

14:30 - 15:00: Catering - Monday coffee break 2 at Catering

14:30 - 15:00
Coffee break

Monday coffee break 2

15:00 - 16:10: Research Papers - Continuations and Effects at Stifel Theatre
Chair(s): Martin ElsmanUniversity of Copenhagen, Denmark

15:00 - 15:23
Talk

Capturing the Future by Replaying the Past (Functional Pearl)

James KoppelMIT, Gabriel SchererINRIA Saclay, Armando Solar-LezamaMIT CSAIL

DOI

15:23 - 15:46
Talk

Handling Delimited Continuations with Dependent Types

Youyou CongOchanomizu University, Japan, Kenichi AsaiOchanomizu University

DOI

15:46 - 16:10
Talk

Versatile Event Correlation with Algebraic Effects

Oliver BračevacTU Darmstadt, Nada AminUniversity of Cambridge, Guido SalvaneschiTU Darmstadt, Sebastian ErdwegDelft University of Technology, Netherlands, Patrick EugsterPurdue University, Mira MeziniTU Darmstadt

DOI

16:10 - 16:40: Catering - Monday coffee break 3 at Catering

16:10 - 16:40
Coffee break

Monday coffee break 3

16:40 - 18:10: Research Papers - Probabilistic Programming and Learning at Stifel Theatre
Chair(s): Michael SperberActive Group GmbH

16:40 - 17:02
Talk

The Simple Essence of Automatic DifferentiationDistinguished Paper

Conal ElliottTarget, USA

DOI

17:02 - 17:25
Talk

Functional Programming for Modular Bayesian Inference

Adam ŚcibiorUniversity of Cambridge and MPI Tuebingen, Ohad KammarUniversity of Oxford, Zoubin GhahramaniUniversity of Cambridge

DOI

17:25 - 17:47
Talk

Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion

Mitchell WandNortheastern University, USA, Ryan CulpepperCzech Technical University, Theophilos GiannakopoulosBAE Systems, Inc., Andrew CobbNortheastern University

DOI

17:47 - 18:10
Talk

Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)

José Bacelar AlmeiraUniversity of Minho & INESC TEC, Alcino CunhaUniversity of Minho and INESC TEC, Portugal, Nuno MacedoUniversity of Minho & INESC TEC, Hugo PachecoUniversity of Minho, Portugal, José ProençaHASLab/INESC TEC & University of Minho

DOI

18:30 - 20:30: Student Research Competition - Poster Reception at Grand Hall

18:30 - 20:30
Social Event

SRC Poster Reception

Tue 25 Sep

09:00 - 10:00: Keynotes and Reports - Tuesday Keynote at Stifel Theatre
Chair(s): Matthew FlattUniversity of Utah

09:00 - 10:00
Talk

The Role of Functional Programming and DSLs in Hardware

Pat HanrahanStanford University, USA

10:00 - 10:30: Catering - Tuesday coffee break 1 at Catering

10:00 - 10:30
Coffee break

Tuesday coffee break 1

10:30 - 12:00: Research Papers - Compilation and Concurrency at Stifel Theatre
Chair(s): Heather MillerCarnegie Mellon University

10:30 - 10:52
Talk

Competitive Parallelism: Getting Your Priorities Right

Stefan K. Muller, Umut AcarCarnegie Mellon University, Robert Harper

DOI

10:52 - 11:15
Talk

Static Interpretation of Higher-Order Modules in Futhark: Functional GPU Programming in the Large

Martin ElsmanUniversity of Copenhagen, Denmark, Troels HenriksenUniversity of Copenhagen, Denmark, Danil AnnenkovDepartment of Computer Science, University of Copenhagen, Cosmin OanceaUniversity of Copenhagen, Denmark

Link to publication DOI

11:15 - 11:37
Talk

Finitary Polymorphism for Optimizing Type-Directed Compilation

Atsushi OhoriTohoku University, Japan, Katsuhiro UenoTohoku University, Hisayuki MimaTohoku University

DOI

11:37 - 12:00
Talk

Fault Tolerant Functional Reactive Programming (Functional Pearl)

Ivan PerezNational Institute of Aerospace, USA

DOI

12:00 - 13:00: Catering - Tuesday lunch at Catering

12:00 - 13:00
Lunch

Tuesday lunch

12:15 - 12:50: Keynotes and Reports - Report on ICFP and Climate Change at Stifel Theatre

12:15 - 12:50
Talk

Report on ICFP and Climate Change

Benjamin C. PierceUniversity of Pennsylvania

13:00 - 14:30: Research Papers - Proof Techniques and Mechanization at Stifel Theatre
Chair(s): Niki VazouUniversity of Maryland, USA

13:00 - 13:22
Talk

MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic

Robbert KrebbersDelft University of Technology, Jacques-Henri JourdanCNRS, LRI, Université Paris-Sud, Ralf JungMPI-SWS, Joseph TassarottiCarnegie Mellon University, Jan-Oliver KaiserMPI-SWS, Amin Timanyimec-Distrinet KU-Leuven, Arthur CharguéraudInria, Derek DreyerMPI-SWS

DOI

13:22 - 13:45
Talk

Mtac2: Typed Tactics for Backward Reasoning in Coq

Jan-Oliver KaiserMPI-SWS, Beta ZilianiFAMAF, UNC and CONICET, Robbert KrebbersDelft University of Technology, Yann Régis-GianasIRIF, University Paris Diderot and CNRS, France / INRIA PI.R2, Derek DreyerMPI-SWS

DOI

13:45 - 14:07
Talk

Compositional Soundness Proofs of Abstract Interpreters

Sven KeidelDelft University of Technology, Netherlands, Casper Bach PoulsenDelft University of Technology, Sebastian ErdwegDelft University of Technology, Netherlands

DOI

14:07 - 14:30
Talk

Equivalences for Free: Univalent Parametricity for Effective TransportDistinguished Paper

Nicolas TabareauInria, Éric TanterUniversity of Chile & Inria Paris, Matthieu SozeauInria

DOI

14:30 - 15:00: Catering - Tuesday coffee break 2 at Catering

14:30 - 15:00
Coffee break

Tuesday coffee break 2

15:00 - 16:30: Research Papers - Bidirectional Programming at Stifel Theatre
Chair(s): Wouter SwierstraUtrecht University, Netherlands

15:00 - 15:22
Talk

What You Needa Know about Yoneda: Profunctor Optics and the Yoneda Lemma (Functional Pearl)

Guillaume BoisseauUniversity of Oxford, Jeremy GibbonsDepartment of Computer Science, University of Oxford

DOI

15:22 - 15:45
Talk

Incremental Relational Lenses

Rudi HornUniversity of Edinburgh, Roly PereraUniversity of Glasgow, James CheneyUniversity of Edinburgh, UK

DOI

15:45 - 16:07
Talk

Synthesizing Quotient Lenses

Solomon MainaUniversity of Pennsylvania, Anders MiltnerPrinceton University, Kathleen FisherTufts University, USA, Benjamin C. PierceUniversity of Pennsylvania, Dave WalkerPrinceton University, Steve ZdancewicUniversity of Pennsylvania

DOI

16:07 - 16:30
Talk

Generic Deriving of Generic Traversals

Csongor KissImperial College London, Matthew PickeringUniversity of Bristol, Nicolas WuUniversity of Bristol, UK

DOI

16:30 - 17:00: Catering - Tuesday coffee break 3 at Catering

16:30 - 17:00
Coffee break

Tuesday coffee break 3

17:00 - 17:40: Student Research Competition - Finalist Presentations at Stifel Theatre

17:00 - 17:40
Talk

Finalist Presentations

17:40 - 18:10: Programming Contest - Contest Report and Results at Stifel Theatre

17:40 - 18:10
Talk

Contest Report and Results

Matthew FluetRochester Institute of Technology

Wed 26 Sep

09:00 - 10:00: Keynotes and Reports - Wednesday Keynote at Stifel Theatre
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford

09:00 - 10:00
Talk

Conveying the Power of Abstraction

Eugenia Cheng

10:00 - 10:30: Catering - Wednesday coffee break 1 at Catering

10:00 - 10:30
Coffee break

Wednesday coffee break 1

10:30 - 12:00: Research Papers - Semantics at Stifel Theatre
Chair(s): Sam LindleyUniversity of Edinburgh, UK

10:30 - 10:52
Talk

Partially-Static Data as Free Extension of Algebras

Jeremy YallopUniversity of Cambridge, UK, Tamara von GlehnUniversity of Cambridge, Ohad KammarUniversity of Oxford

Link to publication DOI Pre-print

10:52 - 11:15
Talk

Relational Algebra by Way of AdjunctionsDistinguished Paper

Jeremy GibbonsDepartment of Computer Science, University of Oxford, Fritz HengleinDepartment of Computer Science, University of Copenhagen (DIKU), Ralf HinzeRadboud University Nijmegen, Nicolas WuUniversity of Bristol, UK

DOI

11:15 - 11:37
Talk

Strict and Lazy Semantics for Effects: Layering Monads and Comonads

Andrew HirschCornell University, Ross TateCornell University

DOI

11:37 - 12:00
Talk

What's the Difference? A Functional Pearl on Subtracting Bijections

Brent YorgeyHendrix College, Kenneth Foner

DOI

12:00 - 13:00: Catering - Wednesday lunch at Catering

12:00 - 13:00
Lunch

Wednesday lunch

13:00 - 14:30: Research Papers - Gradual Typing and Proving at Stifel Theatre
Chair(s): Éric TanterUniversity of Chile & Inria Paris

13:00 - 13:22
Talk

A Spectrum of Type Soundness and Performance

Ben GreenmanNortheastern University, USA, Matthias FelleisenNortheastern University, USA

DOI

13:22 - 13:45
Talk

Casts and Costs: Harmonizing Safety and Performance in Gradual Typing

John Peter CamporaULL Lafayette, Sheng ChenUniversity of Louisiana at Lafayette, Eric WalkingshawOregon State University

DOI

13:45 - 14:07
Talk

Graduality from Embedding-Projection Pairs

Max NewNortheastern University, Amal AhmedNortheastern University, USA

DOI

14:07 - 14:30
Talk

Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code (Experience Report)

Joachim BreitnerDFINITY Foundation, Antal Spector-Zabusky, Yao LiUniversity of Pennsylvania, Christine RizkallahUniversity of New South Wales, John WiegleyBAE Systems, Stephanie WeirichUniversity of Pennsylvania, USA

DOI

14:30 - 15:00: Catering - Wednesday coffee break 2 at Catering

14:30 - 15:00
Coffee break

Wednesday coffee break 2

15:00 - 16:10: Research Papers - Complexity and Bounds at Stifel Theatre
Chair(s): Ilya SergeyUniversity College London

15:00 - 15:23
Talk

Parallel Complexity Analysis with Temporal Session Types

Ankush DasCarnegie Mellon University, Jan HoffmannCarnegie Mellon University, Frank PfenningCarnegie Mellon University, USA

DOI

15:23 - 15:46
Talk

Parametric Polymorphism and Operational Improvement

Jennifer HackettUniversity of Nottingham, UK, Graham HuttonUniversity of Nottingham, UK

DOI

15:46 - 16:10
Talk

Tight Typings and Split Bounds

Beniamino AccattoliInria & Ecole Polytechnique, Stéphane Graham-LengrandCNRS, France, Delia KesnerIRIF, France / University of Paris Diderot, France

DOI

16:10 - 16:30: Catering - Wednesday coffee break 3 at Catering

16:10 - 16:30
Coffee break

Wednesday coffee break 3

16:30 - 17:15: Research Papers - Dependent Types at Stifel Theatre
Chair(s): David Thrane ChristiansenGalois, USA

16:30 - 16:52
Talk

Elaborating Dependent (Co)pattern Matching

Jesper CockxChalmers | University of Gothenburg, Andreas AbelGothenburg University

DOI

16:52 - 17:15
Talk

Generic Zero-Cost Reuse for Dependent Types

Larry Diehl, Denis FirsovUniversity of Iowa, USA, Aaron StumpThe University of Iowa, USA

DOI

17:15 - 18:00: Keynotes and Reports - Closing Events at Stifel Theatre

17:15 - 17:30
Awards

SIGPLAN Awards

Satnam SinghX, the moonshot factory

17:30 - 17:40
Awards

Student Research Competition Awards

Ravi ChughUniversity of Chicago

17:40 - 17:55
Talk

Program Chair's Report

Matthew FlattUniversity of Utah

17:55 - 18:00
Talk

ICFP 2019 Announcement

Derek DreyerMPI-SWS

17:30 - 17:40: Student Research Competition - Student Research Competition Awards at Stifel Theatre

17:30 - 17:40
Awards

Student Research Competition Awards

Ravi ChughUniversity of Chicago

18:00 - 19:00: Catering - Wednesday food trucks at Catering

18:00 - 19:00
Dinner

Wednesday food trucks

19:00 - 21:30: Social Events - Strange Loop Party at City Museum

19:00 - 21:30
Social Event

Strange Loop Party, ride a bus from the venue to the City Museum

Thu 27 Sep

08:45 - 10:00: TyDe 2018 - Applications and Monoids at New York Central
Chair(s): Daan LeijenMicrosoft Research, USA

08:45 - 08:55
Talk

Welcome!

Richard A. EisenbergBryn Mawr College, USA, Niki VazouUniversity of Maryland, USA

08:55 - 09:15
Talk

Extended Abstract: F# OpenCL Type Provider

Kirill SmirenkoSaint Petersburg State University, Semyon GrigorevSaint-Petersburg State University, JetBrains Research

File Attached

09:15 - 09:35
Talk

Extended Abstract: Comprehending Monoids with Class

Lionel ParreauxEPFL, Christoph E. KochEPFL

Media Attached File Attached

09:35 - 10:00
Research paper

Authenticated Modular Maps in Haskell

Victor Cacciari MiraldoUtrecht University, Netherlands, Harold CarrOracle Labs, USA, Alex KoganOracle Labs, USA, Mark MoirOracle Labs, New Zealand, Maurice HerlihyBrown University, USA

DOI

09:00 - 10:00: NPFL 2018 - Keynote at Texas Special
Chair(s): Dominic SteinitzTweag I/O

09:00 - 10:00
Day opening

Daisy - a framework for sound accuracy analysis and optimization of numerical programs

Eva DarulovaMPI-SWS

09:00 - 10:00: Haskell 2018 - Keynote at Illinois Central
Chair(s): Nicolas WuUniversity of Bristol, UK

09:00 - 09:05
Day opening

Welcome and Chair's Report

Nicolas WuUniversity of Bristol, UK

09:05 - 10:00
Talk

Neither Web nor Assembly (Invited Talk)

Andreas RossbergDfinity

09:00 - 10:00: OCaml 2018 - Session 1 at Frisco
Chair(s): Andrew KennedyFacebook London

09:00 - 09:05
Day opening

Introduction

Andrew KennedyFacebook London

09:05 - 09:35
Talk

The OCaml Platform 1.0

Anil MadhavapeddyOCaml Labs, Gemma GordonUniversity of Cambridge

09:35 - 09:45
Poster

The OCaml Software Foundation

Michel Mauny, Yann Régis-GianasIRIF, University Paris Diderot and CNRS, France / INRIA PI.R2

09:45 - 09:50
Poster

This PDF is an OCaml bytecode

Gabriel RadanneUniversity of Freiburg, Germany

09:00 - 12:00: Tutorials - T01: Introduction to Programming and Proving in Cedille at Burlington Route
Chair(s): Aaron StumpThe University of Iowa, USA

09:00 - 12:00
Other

T01: Introduction to Programming and Proving in Cedille

Aaron StumpThe University of Iowa, USA, Chris JenkinsThe University of Iowa, Colin McDonald

10:00 - 10:20: Catering - Thursday coffee break 1 at Catering

10:00 - 10:20
Coffee break

Thursday coffee break 1

10:20 - 11:00: OCaml 2018 - Session 2 at Frisco
Chair(s): Stephen DolanUniversity of Cambridge

10:20 - 10:40
Talk

Abusing Format for fun and profits

Gabriel RadanneUniversity of Freiburg, Germany, Frédéric BourFacebook Paris

10:40 - 11:00
Talk

RFCs, all the way down!

Romain CalascibettaTarides

10:20 - 11:20: NPFL 2018 - Talks I at Texas Special
Chair(s): Dominic SteinitzTweag I/O

10:20 - 10:50
Talk

Hasktorch: A Comprehensive Haskell Library for Differentiable Functional Programming

Sam StitesSentenai, Austin HuangPfizer

10:50 - 11:20
Talk

APLicative Programming with Naperian Functors

Jeremy GibbonsDepartment of Computer Science, University of Oxford

10:20 - 12:00: TyDe 2018 - Types at New York Central
Chair(s): Richard A. EisenbergBryn Mawr College, USA

10:20 - 10:45
Research paper

Typing, Representing, and Abstracting Control: Functional Pearl

Philipp SchusterUniversity of Tübingen, Germany, Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany

DOI

10:45 - 11:10
Research paper

Extensible Type-Directed Editing

Joomy KorkutWesleyan University, USA, David Thrane ChristiansenGalois, USA

DOI

11:10 - 11:35
Research paper

Sums of Products for Mutually Recursive Datatypes: The Appropriationist’s View on Generic Programming

Victor Cacciari MiraldoUtrecht University, Netherlands, Alejandro SerranoUtrecht University, Netherlands

DOI

11:35 - 12:00
Research paper

Implementing Resource-Aware Safe Assembly for Kernel Probes as a Dependently-Typed DSL

Ilya YanokUSI Lugano, Switzerland, Nate NystromUSI Lugano, Switzerland

DOI

10:30 - 12:00: Haskell 2018 - Session 1 at Illinois Central
Chair(s): Michael D. AdamsUniversity of Utah

10:30 - 11:00
Talk

AutoBench: Comparing the Time Performance of Haskell Programs

Martin A. T. HandleyUniversity of Nottingham, UK, Graham HuttonUniversity of Nottingham, UK

DOI

11:00 - 11:30
Talk

Autobahn 2.0: Minimizing Bangs while Maintaining Performance (System Demonstration)

Marilyn SunTufts University, USA, Kathleen FisherTufts University, USA

DOI

11:30 - 12:00
Talk

Improving Typeclass Relations by Being Open

Guido MartínezCIFASIS-CONICET, Argentina, Mauro JaskelioffCONICET, Argentina, Guido De LucaUniversidad Nacional de Rosario, Argentina

DOI

11:00 - 11:20: Catering - Thursday coffee break 2 at Catering

11:00 - 11:20
Coffee break

Thursday coffee break 2

11:20 - 12:00: OCaml 2018 - Session 3 at Frisco
Chair(s): KC SivaramakrishnanUniversity of Cambridge

11:20 - 11:40
Talk

The Vecosek Ecosystem

Sebastien MondetMount Sinai - Hammer Lab

11:40 - 12:00
Talk

OCaml on the ESP32 chip: Well Typed Lightbulbs Await

Lucas PluvinageENS Paris, Sadiq JafferOpsian, Anil MadhavapeddyOCaml Labs

11:20 - 12:00: NPFL 2018 - Talks II at Texas Special
Chair(s): Dominic SteinitzTweag I/O

11:20 - 12:00
Talk

Error analysis almost for free

Eva RichterPotsdam University, Matti RichterPotsdam University

12:00 - 13:30: Catering - Thursday lunch at Midway West

12:00 - 13:30
Lunch

Thursday lunch

13:00 - 16:00: Tutorials - T02: Direct Manipulation Programming in Sketch-n-Sketch at Burlington Route
Chair(s): Justin Lubin, Mikaël MayerEPFL, Switzerland, Ravi ChughUniversity of Chicago, Brian HempelUniversity of Chicago

13:00 - 16:00
Other

T02: Direct Manipulation Programming in Sketch-n-Sketch

Nick CollinsUniversity of Chicago, Brian HempelUniversity of Chicago, Ravi ChughUniversity of Chicago, Mikaël MayerEPFL, Switzerland, Justin Lubin

13:30 - 14:20: TyDe 2018 - Keynote at New York Central
Chair(s): Niki VazouUniversity of Maryland, USA

13:30 - 14:20
Talk

Extrinsic vs Intrinsic Specifications, and Subset Types

K. Rustan M. LeinoAmazon

13:30 - 15:00: Haskell 2018 - Session 2 at Illinois Central
Chair(s): Sam LindleyUniversity of Edinburgh, UK

13:30 - 14:00
Talk

Rhine: FRP with Type-Level Clocks

Manuel BärenzUniversity of Vienna, Austria, Ivan PerezNational Institute of Aerospace, USA

DOI

14:00 - 14:30
Talk

A High-Performance Multicore IO Manager Based on libuv (Experience Report)

Dong HanBeijing Bytedance, China, Tao HeBeijing Bytedance, China

DOI

14:30 - 15:00
Talk

Embedding Invertible Languages with Binders: A Case of the FliPpr Language

Kazutaka MatsudaTohoku University, Japan, Meng WangUniversity of Bristol, UK

DOI

13:30 - 14:10: OCaml 2018 - Session 4 at Frisco
Chair(s): Gabriel SchererINRIA Saclay

13:30 - 13:50
Talk

Wall: rendering vector graphics with OCaml and OpenGL

Frédéric BourFacebook Paris

13:50 - 14:10
Talk

Winning on Windows: porting the OCaml platform

David AllsoppUniversity of Cambridge

13:30 - 14:30: NPFL 2018 - Talks III at Texas Special
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford

13:30 - 14:00
Talk

A Haskell Interface to Sundials via inline-c

Dominic SteinitzTweag I/O

14:00 - 14:30
Talk

On the Calculation of Functions in the Algebra of Physical Space

Nathan Waiviohttps://github.com/waivio

14:10 - 14:30: Catering - Thursday coffee break 3 at Catering

14:10 - 14:30
Coffee break

Thursday coffee break 3

14:20 - 15:10: TyDe 2018 - Effect Handlers & Abstract Machine at New York Central
Chair(s): Niki VazouUniversity of Maryland, USA

14:20 - 14:45
Research paper

First Class Dynamic Effect Handlers: or, Polymorphic Heaps with Dynamic Effect Handlers

Daan LeijenMicrosoft Research, USA

DOI

14:45 - 15:10
Research paper

From Algebra to Abstract Machine: A Verified Generic Construction

Carlos Tomé CortiñasUtrecht University, Netherlands, Wouter SwierstraUtrecht University, Netherlands

DOI

14:30 - 15:10: OCaml 2018 - Session 5 at Frisco

14:30 - 14:50
Talk

R&B: Towards bringing functional programming to everyday's web programmer

Hongbo ZhangIndependent, Cristiano CalcagnoFacebook, Jordan WalkeFacebook, Cheng LouFacebook, Ricky VetterFacebook

14:50 - 15:10
Talk

MLExplain

Kévin Le BonInria, Alan SchmittInria

Link to publication

14:30 - 15:10: NPFL 2018 - Talks IV at Texas Special
Chair(s): Dominic SteinitzTweag I/O

14:30 - 15:10
Talk

Manifolds as Haskell types

Justus SagemüllerUniversität zu Köln, Institut für Geophysik und Meteorologie

15:10 - 15:30: Catering - Thursday coffee break 4 at Catering

15:10 - 15:30
Coffee break

Thursday coffee break 4

15:30 - 16:10: TyDe 2018 - Error Messages & Contexts at New York Central
Chair(s): David DaraisUniversity of Vermont

15:30 - 15:50
Talk

Extended Abstract: Context Constrained Computing

Robert AtkeyUniversity of Strathclyde, James WoodUniversity of Strathclyde

File Attached

15:50 - 16:10
Talk

Extended Abstract: Improving Error Messages for Dependent Types

Joseph EremondiUniversity of British Columbia, Wouter SwierstraUtrecht University, Netherlands, Jurriaan HageUtrecht University

File Attached

15:30 - 16:00: Haskell 2018 - Session 3 at Illinois Central
Chair(s): Ryan Yates

15:30 - 16:00
Talk

Ghosts of Departed Proofs (Functional Pearl)

Matt NoonanKataskeue, USA

DOI

15:30 - 16:10: OCaml 2018 - Session 6 at Frisco
Chair(s): Andrew KennedyFacebook London

15:30 - 15:50
Talk

Relit: Implementing Typed Literal Macros in Reason

Charles ChamberlainUniversity of Chicago, Cyrus OmarUniversity of Chicago

15:30 - 16:10: NPFL 2018 - Talks V at Texas Special
Chair(s): Dominic SteinitzTweag I/O

15:30 - 16:10
Talk

Exact Real Arithmetic for Geometric Operations

Pavel PanchekhaUniversity of Washington

16:30 - 17:20: Keynotes and Reports - Strange Loop Keynote at Stifel Theatre

16:30 - 17:20
Talk

Strange Loop Keynote

Erica Joy Baker

17:30 - 19:30: Social Events - Industrial Reception at Regency C

17:30 - 19:30
Social Event

Industrial Reception

19:00 - 22:00: Social Events - Strange Loop Unsessions at Unsessions Room

19:00 - 22:00
Social Event

Strange Loop Unsessions at Union Station; see Strange Loop website for details

Fri 28 Sep

09:00 - 10:00: Scheme 2018 - Invited Talk 1 at Burlington Route

09:00 - 10:00
Talk

From Scripting to Proving: Gradual Verification with a Scheme

David Van HornUniversity of Maryland, USA

09:00 - 10:00: ML 2018 - Invited talk at New York Central

09:00 - 10:00
Talk

ELPI: an extension language with binders and unification variables (Invited talk)

Enrico TassiINRIA

09:00 - 10:00: Scala 2018 - Keynote at Frisco
Chair(s): Bruno C. d. S. OliveiraUniversity of Hong Kong, China

09:00 - 10:00
Talk

Cross-Platform Language Design in Scala.js

Sébastien DoeraeneEPFL, Switzerland

DOI

09:00 - 10:00: Haskell 2018 - Session 4 at Illinois Central
Chair(s): Iavor DiatchkiGalois, Inc.

09:00 - 09:30
Talk

Deriving Via: or, How to Turn Hand-Written Instances into an Anti-pattern

Baldur Blöndaln.n., n.n., Andres LöhWell-Typed, UK, Ryan ScottIndiana University at Bloomington, USA

DOI

09:30 - 10:00
Talk

Generic Programming of All Kinds

Alejandro SerranoUtrecht University, Netherlands, Victor Cacciari MiraldoUtrecht University, Netherlands

DOI

09:00 - 12:00: Tutorials - T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages at Texas Special
Chair(s): Ronald GarciaUniversity of British Columbia, Éric TanterUniversity of Chile & Inria Paris

09:00 - 12:00
Other

T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages

Ronald GarciaUniversity of British Columbia, Éric TanterUniversity of Chile & Inria Paris

10:00 - 10:20: Catering - Friday coffee break 1 at Catering

10:00 - 10:20
Coffee break

Friday coffee break 1

10:20 - 12:00: ML 2018 - Session 1 at New York Central

10:20 - 10:45
Talk

Safely Mixing OCaml and Rust

Stephen DolanUniversity of Cambridge

10:45 - 11:10
Talk

Rust Distilled: An Expressive Tower of Languages

Aaron WeissNortheastern University, Daniel PattersonNortheastern University, Amal AhmedNortheastern University, USA

Link to publication Pre-print

11:10 - 11:35
Talk

Generating Mutually Recursive Definitions

Jeremy YallopUniversity of Cambridge, UK, Oleg Kiselyov

Pre-print

11:35 - 12:00
Talk

Experience Report: Type-Safe Multi-Tier Programming with Standard ML Modules

Martin ElsmanUniversity of Copenhagen, Denmark, Philip MunksgaardIntelligent Alpha AG, Switzerland, Ken Friis LarsenDIKU, University of Copenhagen

Link to publication

10:20 - 11:00: Scheme 2018 - Session 1 at Burlington Route

10:20 - 10:40
Talk

Growing Schemes: Twenty Years of Scheme Requests for Implementation

Arthur GlecklerSRFI Editor

10:40 - 11:00
Talk

Loop Patterns: Extension of Kleene Star Operator for More Powerful Pattern Matching against Arbitrary Data Structures

Satoshi EgiRakuten Institute of Technology

10:20 - 11:50: Scala 2018 - Session 1: Scala Foundations at Frisco
Chair(s): Paolo G. GiarrussoEPFL, Switzerland

10:20 - 10:42
Talk

Extending Scala with Records: Design, Implementation, and Evaluation

Olof KarlssonA3J Consulting, Sweden, Philipp HallerKTH, Sweden

DOI

10:42 - 11:05
Talk

Initialization Patterns in Dotty

Fengyun LiuEPFL, Switzerland, Aggelos BiboudisEPFL, Switzerland, Martin OderskyEPFL, Switzerland

DOI

11:05 - 11:27
Talk

Path Dependent Types with Path-Equality

Jaemin HongKAIST, South Korea, Jihyeok ParkKAIST, South Korea, Sukyoung RyuKAIST, South Korea

DOI

11:27 - 11:50
Talk

κDOT: Scaling DOT with Mutation and Constructors

Ifaz KabirUniversity of Waterloo, Canada, Ondřej LhotákUniversity of Waterloo

DOI

10:30 - 12:00: Haskell 2018 - Session 5 at Illinois Central
Chair(s): Niki VazouUniversity of Maryland, USA

10:30 - 11:00
Talk

Type Variables in Patterns

Richard A. EisenbergBryn Mawr College, USA, Joachim BreitnerDFINITY Foundation, Simon Peyton JonesMicrosoft, UK

DOI

11:00 - 11:30
Talk

The Thoralf Plugin: For Your Fancy Type Needs

Divesh OtwaniHaverford College, USA, Richard A. EisenbergBryn Mawr College, USA

DOI

11:30 - 12:00
Talk

Suggesting Valid Hole Fits for Typed-Holes (Experience Report)

Matthías Páll GissurarsonChalmers University of Technology, Sweden

DOI

11:00 - 11:20: Catering - Friday coffee break 2 at Catering

11:00 - 11:20
Coffee break

Friday coffee break 2

11:20 - 12:00: Scheme 2018 - Session 2 at Burlington Route

11:20 - 11:40
Talk

Temporal Logic, μKanren, and a Time-Traveling RDF Database

Nathaniel Rudavsky-Brody

11:40 - 12:00
Talk

A Surprisingly Competitive Conditional Operator: miniKanrenizing the Inference Rules of Pie

Benjamin Boskin, Weixi Ma, David Thrane ChristiansenGalois, USA, Daniel FriedmanIndiana University

11:50 - 12:10: Scala 2018 - Student Talks 1 at Frisco
Chair(s): Sukyoung RyuKAIST, South Korea

11:50 - 12:00
Talk

Julia Subtyping Lessons Scala Could Learn (Student Talk)

Artem PelenitsynNortheastern University

12:00 - 12:10
Talk

Scala with explicit nulls (student talk)

Abel NietoUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo

12:00 - 13:30: Catering - Friday lunch at Midway West

12:00 - 13:30
Lunch

Friday lunch

13:00 - 16:00: Tutorials - T04: Beluga: Programming Proofs About Formal Systems at Texas Special
Chair(s): Jacob Thomas ErringtonMcGill University, Aliya HameerMcGill University, Brigitte PientkaMcGill University

13:00 - 16:00
Talk

T04: Beluga: Programming Proofs About Formal Systems

Brigitte PientkaMcGill University, Jacob Thomas ErringtonMcGill University, Aliya HameerMcGill University

13:10 - 14:40: Scala 2018 - Session 2: Scala Extensions & Parsing at Frisco
Chair(s): Philipp HallerKTH, Sweden

13:10 - 13:32
Talk

Garnishing Parsec with Parsley

Jamie WillisUniversity of Bristol, UK, Nicolas WuUniversity of Bristol, UK

DOI

13:32 - 13:55
Talk

Interflow: Interprocedural Flow-Sensitive Type Inference and Method Duplication

Denys ShabalinEPFL, Switzerland, Martin OderskyEPFL, Switzerland

DOI

13:55 - 14:17
Talk

Parser Combinators for Context-Free Path Querying

Ekaterina VerbitskaiaSaint Petersburg State University, Russia, Ilya KirillovSaint Petersburg State University, Russia, Ilya NozkinSaint Petersburg State University, Russia, Semyon GrigorevSaint Petersburg State University, Russia

DOI

14:17 - 14:40
Talk

Truly Abstract Interfaces for Algebraic Data Types: The Extractor Typing Problem

Nicolas StuckiEPFL, Switzerland, Paolo G. GiarrussoEPFL, Switzerland, Martin OderskyEPFL, Switzerland

DOI

13:30 - 15:10: ML 2018 - Session 2 at New York Central

13:30 - 13:55
Talk

ML as a Tactic Language, Again

Guido MartínezCIFASIS-CONICET, Argentina, Danel AhmanUniversity of Ljubljana, Victor Dumitrescu, Nick GiannarakisPrinceton University, Chris HawblitzelMicrosoft Research, Cătălin HriţcuInria Paris, Monal Narasimhamurthy, Zoe ParaskevopoulouPrinceton University, Clément Pit-ClaudelMIT CSAIL, Jonathan ProtzenkoMicrosoft Research, Redmond, Tahina RamananandroMicrosoft Research, n.n., Aseem RastogiMicrosoft Research, Nikhil SwamyMicrosoft Research

File Attached

13:55 - 14:20
Talk

Design and verification of functional proof checkers

Roberto BlancoInria

14:20 - 14:45
Talk

Disornamentation

Lucas BaudinINRIA, Didier RémyInria

14:45 - 15:10
Talk

Generic Programming with Combinators and Objects

Dmitrii Kosarev, Dmitri Boulytchev

13:30 - 14:10: Scheme 2018 - Session 3 at Burlington Route

13:30 - 13:50
Talk

Racets: Faceted Execution in Racket

Kristopher MicinskiHaverford College, Zhanpeng WangHaverford College, USA, Thomas GilrayUniversity of Maryland

13:50 - 14:10
Talk

An Efficient Compiler for the Gradually Typed Lambda Calculus

Andre KuhlenschmidtIndiana University, Deyaaeldeen AlmahallawiIndiana University, Jeremy G. SiekIndiana University, USA

13:30 - 15:00: Haskell 2018 - Session 6 at Illinois Central
Chair(s): Brent YorgeyHendrix College

13:30 - 14:00
Talk

A Promise Checked Is a Promise Kept: Inspection Testing

Joachim BreitnerDFINITY Foundation

DOI

14:00 - 14:30
Talk

Branching Processes for QuickCheck Generators

Agustín MistaUniversidad Nacional de Rosario, Argentina, Alejandro RussoChalmers University of Technology, Sweden, John HughesChalmers University of Technology, Sweden

DOI

14:30 - 15:00
Talk

Coherent Explicit Dictionary Application for Haskell

Thomas WinantKU Leuven, Belgium, Dominique DevrieseVrije Universiteit Brussel, Belgium

DOI

14:10 - 14:30: Catering - Friday coffee break 3 at Catering

14:10 - 14:30
Coffee break

Friday coffee break 3

14:30 - 15:10: Scheme 2018 - Session 4 at Burlington Route

14:30 - 14:50
Talk

Schism: A Self-Hosting Scheme to WebAssembly Compiler

Eric HolkGoogle

14:50 - 15:10
Talk

Tail Calling Between Code Generated by C and Native Backends

Laurent Huberdeau, Marc FeeleyUniversité de Montréal

14:40 - 15:00: Scala 2018 - Student Talks 2 at Frisco
Chair(s): Philipp HallerKTH, Sweden

14:40 - 14:50
Talk

Adding polymorphic functions to Scala (Student Talk)

Guillaume MartresEPFL, Switzerland

14:50 - 15:00
Talk

Validating Changes in Typechecking on Codebases with SemanticDB (Student talk)

Max OvsiankinUC Berkeley, Eugene BurmakoTwitter, Inc.

15:10 - 15:30: Catering - Friday coffee break 4 at Catering

15:10 - 15:30
Coffee break

Friday coffee break 4

15:20 - 16:10: Scala 2018 - Session 3: DSLs & Sponsor Talk at Frisco
Chair(s): Sebastian ErdwegDelft University of Technology, Netherlands

15:20 - 15:42
Talk

A Domain-specific Language for Microservices

Jacob DonhamTwitter, Inc.

DOI

15:42 - 16:10
Industry talk

SemanticDB: a common data model for Scala developer tools

Eugene BurmakoTwitter, Inc.

15:30 - 16:10: Scheme 2018 - Invited Talk 2 at Burlington Route

15:30 - 16:10
Talk

Rebuilding Racket on Chez Scheme: An Experience Report

Matthew FlattUniversity of Utah

15:30 - 16:10: ML 2018 - Session 3 at New York Central

15:30 - 16:10
Talk

Programming with Abstract Algebraic Effects

Dariusz BiernackiUniversity of Wrocław, Maciej PirógUniversity of Wrocław, Piotr PolesiukUniversity of Wrocław, Filip SieczkowskiUniversity of Wrocław

15:30 - 16:00: Haskell 2018 - Session 7 at Illinois Central
Chair(s): Simon MarlowFacebook

15:30 - 15:59
Talk

Theorem Proving for All: Equational Reasoning in Liquid Haskell (Functional Pearl)

Niki VazouUniversity of Maryland, USA, Joachim BreitnerDFINITY Foundation, Rose KunkelUniversity of Maryland, USA, David Van HornUniversity of Maryland, USA, Graham HuttonUniversity of Nottingham, UK

DOI

15:59 - 16:00
Talk

Closing Statement

Nicolas WuUniversity of Bristol, UK

16:30 - 17:20: Keynotes and Reports - Strange Loop Keynote at Stifel Theatre

16:30 - 17:20
Talk

Strange Loop Keynote: Machine learning failures - for art!

Janelle Shane

Sat 29 Sep

08:45 - 10:00: FHPC 2018 - Morning Session 1 at New York Central
Chair(s): Kei DavisLos Alamos National Laboratory

08:45 - 09:00
Day opening

Welcome and Introductions

Kei DavisLos Alamos National Laboratory, Mike Rainey

09:00 - 10:00
Talk

HELIX: A Case Study of a Formal Verification of High Performance Program Generation

Vadim ZalivaCarnegie Mellon University, USA, Franz FranchettiCarnegie Mellon University, USA

DOI

09:00 - 10:00: FARM 2018 - Live Coding at Jeffersonian+Knickerbocker
Chair(s): Tom Murphy

09:00 - 09:10
Day opening

Welcome

Brent YorgeyHendrix College, Donya QuickStevens Institute of Technology, Tom Murphy

09:10 - 09:35
Research paper

NNdef: Livecoding Digital Musical Instruments in SuperCollider using Functional Reactive Programming

Miguel NegrãoPolytechnic Institute of Leiria

DOI

09:35 - 10:00
Demonstration

La Habra — Livecoding with Clojurescript

Sarah Groff Hennigh-Palermo

09:00 - 10:00: Erlang 2018 - Opening & Keynote talk at Burlington Route

09:00 - 09:10
Day opening

Day Openning

Adrian FrancalanzaUniversity of Malta, Natalia ChechinaBournemouth University

09:10 - 10:00
Talk

Invited Keynote -- Distributed Erlang: From Datacenter Applications to Planetary Scale Applications

Christopher MeiklejohnCarnegie Mellon University

09:00 - 12:00: Tutorials - T05: Purely functional UIs with Reacl at Wabash Cannonball
Chair(s): Michael SperberActive Group GmbH

09:00 - 12:00
Other

T05: Purely functional UIs with Reacl

Michael SperberActive Group GmbH

09:00 - 12:00: Tutorials - T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and games at Frisco
Chair(s): Eric MertensGalois, Inc., Jose CalderonGalois, Inc.

09:00 - 12:00
Other

T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and games

Eric MertensGalois, Inc., Jose CalderonGalois, Inc.

09:00 - 12:00: Tutorials - T07: Writing a chat system in Pony at Texas Special
Chair(s): Andrew Turley

09:00 - 12:00
Other

T07: Writing a chat system in Pony

Andrew Turley

10:00 - 10:20: Catering - Saturday coffee break 1 at Catering

10:00 - 10:20
Coffee break

Saturday coffee break 1

10:20 - 12:00: FARM 2018 - Generative Systems at Jeffersonian+Knickerbocker
Chair(s): Brent YorgeyHendrix College

10:20 - 10:45
Research paper

Compositional Computational Constructive Critique: Or, How My Computer Learned to Appreciate Poetry

Jennifer HackettUniversity of Nottingham, UK

DOI

10:45 - 11:10
Demonstration

Chord Progressions in Haskell

Brittni WatkinsSouthern Methodist University

11:10 - 11:35
Demonstration

Pattern-Based Algorithmic Music with Euterpea

Donya QuickStevens Institute of Technology

11:35 - 12:00
Demonstration

GAYER: A Graphical Audio plaYER in ReasonML

Cora Johnson-Roberson

10:20 - 11:00: Erlang 2018 - Latest News at Burlington Route

10:20 - 11:00
Product announcement

Sun 23 Sep 2018


Room	9:00	30	10:00		30	11:00		30	12:00	30	13:00	30	14:00		30	15:00		30	16:00	30
Catering			ICFP Catering Sunday coffee break 1 10:00 - 10:20			ICFP Catering Sunday coffee break 2 11:00 - 11:20								ICFP Catering Sunday coffee break 3 14:10 - 14:30			ICFP Catering Sunday coffee break 4 15:10 - 15:30
Frisco+Burlington Route	HOPE morning-1 09:00 - 10:00			HOPE morning-2 10:20 - 11:00			HOPE morning-3 11:20 - 12:00					HOPE afternoon-1 13:30 - 14:10			HOPE afternoon-2 14:30 - 15:10			HOPE afternoon-3 15:30 - 16:10
Grand Hall									ICFP Catering Sunday lunch 12:00 - 13:30
Illinois Central	HIW Invited Talk 09:00 - 10:00			HIW GHC 10:20 - 12:00								HIW Types 13:30 - 15:10						HIW Tools and Hardware 15:30 - 16:45
New York Central	PLMW @ ICFP Session 1 09:00 - 10:00			PLMW @ ICFP Session 2 10:20 - 12:00								PLMW @ ICFP Session 3 13:30 - 15:10						PLMW @ ICFP Session 4 15:30 - 16:30

Mon 24 Sep 2018


Room	9:00	30	10:00		30	11:00	30	12:00	30	13:00	30	14:00		30	15:00	30	16:00		30		17:00	30	18:00		30	19:00	30	20:00	30
Catering				ICFP Catering Monday coffee break 1 10:05 - 10:30				ICFP Catering Monday lunch 12:00 - 13:00						ICFP Catering Monday coffee break 2 14:30 - 15:00				ICFP Catering Monday coffee break 3 16:10 - 16:40
Grand Hall													ICFP Student Research Competition Poster Reception ICFP Social Events 18:30 - 20:30
Stifel Theatre	ICFP Keynotes and Reports Monday Keynote 09:00 - 10:00		ICFP Keynotes and Reports 10:00 - 10:05		ICFP Research Papers Environments and Tools 10:30 - 12:00					ICFP Research Papers Program Construction 13:00 - 14:30					ICFP Research Papers Continuations and Effects 15:00 - 16:10					ICFP Research Papers Probabilistic Programming and Learning 16:40 - 18:10				ICFP Keynotes and Reports 18:10 - 18:20

Tue 25 Sep 2018


Room	9:00	30	10:00	30	11:00	30	12:00		30	13:00	30	14:00	30	15:00	30	16:00	30	17:00	30		18:00	30
Catering			ICFP Catering Tuesday coffee break 1 10:00 - 10:30				ICFP Catering Tuesday lunch 12:00 - 13:00						ICFP Catering Tuesday coffee break 2 14:30 - 15:00				ICFP Catering Tuesday coffee break 3 16:30 - 17:00
Stifel Theatre	ICFP Keynotes and Reports Tuesday Keynote 09:00 - 10:00			ICFP Research Papers Compilation and Concurrency 10:30 - 12:00				ICFP Keynotes and Reports Report on ICFP and Climate Change 12:15 - 12:50		ICFP Research Papers Proof Techniques and Mechanization 13:00 - 14:30				ICFP Research Papers Bidirectional Programming 15:00 - 16:30				ICFP Student Research Competition Finalist Presentations 17:00 - 17:40		ICFP Programming Contest Contest Report and Results 17:40 - 18:10

Wed 26 Sep 2018


Room	9:00	30	10:00	30	11:00	30	12:00	30	13:00	30	14:00		30	15:00	30	16:00		30	17:00		30	18:00	30	19:00	30	20:00	30	21:00	30
Catering			ICFP Catering Wednesday coffee break 1 10:00 - 10:30				ICFP Catering Wednesday lunch 12:00 - 13:00						ICFP Catering Wednesday coffee break 2 14:30 - 15:00				ICFP Catering Wednesday coffee break 3 16:10 - 16:30					ICFP Catering Wednesday food trucks 18:00 - 19:00
City Museum												ICFP Social Events Strange Loop Party 19:00 - 21:30
Stifel Theatre	ICFP Keynotes and Reports Wednesday Keynote 09:00 - 10:00			ICFP Research Papers Semantics 10:30 - 12:00					ICFP Research Papers Gradual Typing and Proving 13:00 - 14:30					ICFP Research Papers Complexity and Bounds 15:00 - 16:10				ICFP Research Papers Dependent Types 16:30 - 17:15		ICFP Keynotes and Reports Closing Events 17:15 - 18:00		ICFP Student Research Competition Student Research Competition Awards 17:30 - 17:40

Thu 27 Sep 2018


Room	8:00	30		9:00	30	10:00		30	11:00		30	12:00	30	13:00		30	14:00			30	15:00		30	16:00	30	17:00	30	18:00	30	19:00	30	20:00	30	21:00	30	22:00	30
Burlington Route				ICFP Tutorials T01: Introduction to Programming and Proving in Cedille 09:00 - 12:00										ICFP Tutorials T02: Direct Manipulation Programming in Sketch-n-Sketch 13:00 - 16:00
Catering						ICFP Catering Thursday coffee break 1 10:00 - 10:20			ICFP Catering Thursday coffee break 2 11:00 - 11:20									ICFP Catering Thursday coffee break 3 14:10 - 14:30				ICFP Catering Thursday coffee break 4 15:10 - 15:30
Frisco				OCaml Session 1 09:00 - 10:00			OCaml Session 2 10:20 - 11:00			OCaml Session 3 11:20 - 12:00						OCaml Session 4 13:30 - 14:10				OCaml Session 5 14:30 - 15:10			OCaml Session 6 15:30 - 16:10
Illinois Central				Haskell Keynote 09:00 - 10:00				Haskell Session 1 10:30 - 12:00								Haskell Session 2 13:30 - 15:00							Haskell Session 3 15:30 - 16:00
Midway West												ICFP Catering Thursday lunch 12:00 - 13:30
New York Central			TyDe Applications and Monoids 08:45 - 10:00				TyDe Types 10:20 - 12:00									TyDe Keynote 13:30 - 14:20			TyDe Effect Handlers & Abstract Machine 14:20 - 15:10				TyDe Error Messages & Contexts 15:30 - 16:10
Regency C															ICFP Social Events Industrial Reception 17:30 - 19:30
Stifel Theatre															ICFP Keynotes and Reports Strange Loop Keynote 16:30 - 17:20
Texas Special				NPFL Keynote 09:00 - 10:00			NPFL Talks I 10:20 - 11:20			NPFL Talks II 11:20 - 12:00						NPFL Talks III 13:30 - 14:30				NPFL Talks IV 14:30 - 15:10			NPFL Talks V 15:30 - 16:10
Unsessions Room															ICFP Social Events Strange Loop Unsessions 19:00 - 22:00

Fri 28 Sep 2018


Room	9:00	30	10:00		30	11:00		30		12:00	30	13:00		30	14:00			30		15:00			30	16:00	30	17:00	30
Burlington Route	Scheme Invited Talk 1 09:00 - 10:00			Scheme Session 1 10:20 - 11:00			Scheme Session 2 11:20 - 12:00							Scheme Session 3 13:30 - 14:10				Scheme Session 4 14:30 - 15:10					Scheme Invited Talk 2 15:30 - 16:10
Catering			ICFP Catering Friday coffee break 1 10:00 - 10:20			ICFP Catering Friday coffee break 2 11:00 - 11:20										ICFP Catering Friday coffee break 3 14:10 - 14:30					ICFP Catering Friday coffee break 4 15:10 - 15:30
Frisco	Scala Keynote 09:00 - 10:00			Scala Session 1: Scala Foundations 10:20 - 11:50					Scala Student Talks 1 11:50 - 12:10				Scala Session 2: Scala Extensions & Parsing 13:10 - 14:40						Scala Student Talks 2 14:40 - 15:00			Scala Session 3: DSLs & Sponsor Talk 15:20 - 16:10
Illinois Central	Haskell Session 4 09:00 - 10:00				Haskell Session 5 10:30 - 12:00									Haskell Session 6 13:30 - 15:00									Haskell Session 7 15:30 - 16:00
Midway West										ICFP Catering Friday lunch 12:00 - 13:30
New York Central	ML Invited talk 09:00 - 10:00			ML Session 1 10:20 - 12:00										ML Session 2 13:30 - 15:10									ML Session 3 15:30 - 16:10
Stifel Theatre																	ICFP Keynotes and Reports Strange Loop Keynote 16:30 - 17:20
Texas Special	ICFP Tutorials T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages 09:00 - 12:00											ICFP Tutorials T04: Beluga: Programming Proofs About Formal Systems 13:00 - 16:00

Sat 29 Sep 2018


Room	8:00	30		9:00	30	10:00		30	11:00		30	12:00	30	13:00		30	14:00		30	15:00		30	16:00	30	17:00	30	18:00	30	19:00	30	20:00	30	21:00	30
Burlington Route				Erlang Opening & Keynote talk 09:00 - 10:00			Erlang Latest News 10:20 - 11:00			Erlang Session 1 11:20 - 12:00						Erlang Session 2 13:30 - 14:30			Erlang Session 3 14:30 - 15:10			Erlang Final talk and Closing 15:30 - 16:10
Catering						ICFP Catering Saturday coffee break 1 10:00 - 10:20			ICFP Catering Saturday coffee break 2 11:00 - 11:20									ICFP Catering Saturday coffee break 3 14:10 - 14:30			ICFP Catering Saturday coffee break 4 15:10 - 15:30
Frisco				ICFP Tutorials T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and games 09:00 - 12:00										ICFP Tutorials T09: Pijul, a purely functional version control system 13:00 - 16:00
Jeffersonian+Knickerbocker				FARM Live Coding 09:00 - 10:00			FARM Generative Systems 10:20 - 12:00									FARM Audio 13:30 - 15:10						FARM Art 15:30 - 16:10
New York Central			FHPC Morning Session 1 08:45 - 10:00				FHPC Morning Session 2 10:20 - 12:15									FHPC Afternoon Session 1 13:30 - 15:10						FHPC Afternoon Session 2 15:30 - 17:00
Pegram												ICFP Catering Saturday lunch 12:00 - 13:30
Texas Special				ICFP Tutorials T07: Writing a chat system in Pony 09:00 - 12:00										ICFP Tutorials T10: Hop.js: JavaScript multitier programming 13:00 - 16:00
The Luminary															ICFP Social Events FARM Evening of Algorithmic Arts 19:30 - 21:30
Wabash Cannonball				ICFP Tutorials T05: Purely functional UIs with Reacl 09:00 - 12:00										ICFP Tutorials T08: Implement your own reactive language: the ReactiveML experiment 13:00 - 16:00

Sun 23 Sep 2018


Room	9:00		15	30	45	10:00	15		30	45		11:00		15		30		45		12:00	15	30	45	13:00	15	30	45		14:00			15		30		45		15:00		15	30	45		16:00	15		30	45
Catering						ICFP Catering Sunday coffee break 1 10:00 - 10:20						ICFP Catering Sunday coffee break 2 11:00 - 11:20																			ICFP Catering Sunday coffee break 3 14:10 - 14:30								ICFP Catering Sunday coffee break 4 15:10 - 15:30
Frisco+Burlington Route	HOPE A preview of a tutorial on L (polarized μμ̃) 09:00 - 10:00							HOPE Finding fixed points faster 10:20 - 11:00							HOPE A Metalanguage for Guarded Iteration 11:20 - 12:00											HOPE Functional programming with MLTS 13:30 - 14:10								HOPE Taming Control Flow through Linear Effect Handlers 14:30 - 15:10							HOPE A domain theory for statistical probabilistic programming 15:30 - 16:10
Grand Hall																				ICFP Catering Sunday lunch 12:00 - 13:30
Illinois Central	HIW Welcome to HIW 09:00 - 09:05	HIW Invited Talk: Let’s Go Mainstream with Eta! 09:05 - 10:00						HIW GHC Update 10:20 - 10:45		HIW Source Plugins 10:45 - 11:10			HIW Generalized Abstract GHC.Generics 11:10 - 11:35				HIW Lightning talk: CodeWorld: Teaching Haskell and mathematics to children 11:35 - 11:43	HIW Lightning talk: CoreSpec: Verifying GHC with hs-to-coq 11:43 - 11:51	HIW Lightning talk: The trick which makes exceptions-0.10.0 possible 11:51 - 12:00							HIW Coercion Quantification 13:30 - 13:55		HIW Type-level visible type application 13:55 - 14:20					HIW Implementing Linear Haskell 14:20 - 14:45			HIW Lightning talk: Implementing a VMware Haskell Client with Extensible Re ... 14:45 - 14:53	HIW Lightning talk: Asterius: Bringing Haskell to WebAssembly 14:53 - 15:01	HIW Lightning talk: Perfomance impact of control flow optimization 15:01 - 15:10			HIW Pier: yet another Haskell build tool 15:30 - 15:55		HIW Clash: a practical Haskell to circuit compiler 15:55 - 16:20			HIW Lightning talk: More Explicit Foralls in GHC 16:20 - 16:28	HIW GHC Community Discussion 16:28 - 16:45
New York Central	PLMW @ ICFP What an SMT solver can do for you 09:00 - 09:30			PLMW @ ICFP Gradual Types 09:30 - 10:00				PLMW @ ICFP I'm a Young Assistant Professor: AMA. + Heather's Unsolicited Advice Ab ... 10:20 - 10:50			PLMW @ ICFP Interactive Game 10:50 - 12:00															PLMW @ ICFP How to write a Great Research Paper 13:30 - 14:03				PLMW @ ICFP Dependent Types 14:03 - 14:36					PLMW @ ICFP An opinionated talk on how to give talks 14:36 - 15:10						PLMW @ ICFP Panel Discussion: Research in Functional Programming 15:30 - 16:30

Mon 24 Sep 2018


Room	9:00	15	30	45	10:00		15	30	45		11:00	15	30		45	12:00	15	30	45	13:00	15		30	45	14:00		15		30	45	15:00	15		30	45	16:00		15	30		45	17:00	15		30	45	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45
Catering						ICFP Catering Monday coffee break 1 10:05 - 10:30										ICFP Catering Monday lunch 12:00 - 13:00													ICFP Catering Monday coffee break 2 14:30 - 15:00								ICFP Catering Monday coffee break 3 16:10 - 16:40
Grand Hall																												ICFP Social Events SRC Poster Reception 18:30 - 20:30
Stifel Theatre	ICFP Keynotes and Reports Gradual Typing 09:00 - 10:00							ICFP Research PapersDistinguished Paper Build Systems à la Carte 10:30 - 10:52		ICFP Research Papers Keep Your Laziness in Check 10:52 - 11:15		ICFP Research Papers Merlin: A Language Server for OCaml (Experience Report) 11:15 - 11:37		ICFP Research Papers Functional Programming for Compiling and Decompiling Computer-Aided Design 11:37 - 12:00						ICFP Research Papers Prototyping a Functional Language using Higher-Order Logic Programming: ... 13:00 - 13:22		ICFP Research Papers A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantic ... 13:22 - 13:45		ICFP Research Papers Reasonably Programmable Literal Notation 13:45 - 14:07		ICFP Research Papers Refunctionalization of Abstract Abstract Machines: Bridging the Gap bet ... 14:07 - 14:30					ICFP Research Papers Capturing the Future by Replaying the Past (Functional Pearl) 15:00 - 15:23		ICFP Research Papers Handling Delimited Continuations with Dependent Types 15:23 - 15:46		ICFP Research Papers Versatile Event Correlation with Algebraic Effects 15:46 - 16:10					ICFP Research PapersDistinguished Paper The Simple Essence of Automatic Differentiation 16:40 - 17:02		ICFP Research Papers Functional Programming for Modular Bayesian Inference 17:02 - 17:25		ICFP Research Papers Contextual Equivalence for a Probabilistic Language with Continuous Ran ... 17:25 - 17:47		ICFP Research Papers Teaching How to Program using Automated Assessment and Functional Gloss ... 17:47 - 18:10

Tue 25 Sep 2018


Room	9:00	15	30	45	10:00	15	30	45		11:00	15	30		45	12:00	15	30	45	13:00	15		30	45	14:00		15	30	45	15:00	15		30	45	16:00		15	30	45	17:00	15	30		45	18:00	15	30	45
Catering					ICFP Catering Tuesday coffee break 1 10:00 - 10:30										ICFP Catering Tuesday lunch 12:00 - 13:00												ICFP Catering Tuesday coffee break 2 14:30 - 15:00										ICFP Catering Tuesday coffee break 3 16:30 - 17:00
Stifel Theatre	ICFP Keynotes and Reports The Role of Functional Programming and DSLs in Hardware 09:00 - 10:00						ICFP Research Papers Competitive Parallelism: Getting Your Priorities Right 10:30 - 10:52		ICFP Research Papers Static Interpretation of Higher-Order Modules in Futhark: Functional GP ... 10:52 - 11:15		ICFP Research Papers Finitary Polymorphism for Optimizing Type-Directed Compilation 11:15 - 11:37		ICFP Research Papers Fault Tolerant Functional Reactive Programming (Functional Pearl) 11:37 - 12:00			ICFP Keynotes and Reports Report on ICFP and Climate Change 12:15 - 12:50			ICFP Research Papers MoSeL: A General, Extensible Modal Framework for Interactive Proofs in ... 13:00 - 13:22		ICFP Research Papers Mtac2: Typed Tactics for Backward Reasoning in Coq 13:22 - 13:45		ICFP Research Papers Compositional Soundness Proofs of Abstract Interpreters 13:45 - 14:07		ICFP Research PapersDistinguished Paper Equivalences for Free: Univalent Parametricity for Effective Transport 14:07 - 14:30				ICFP Research Papers What You Needa Know about Yoneda: Profunctor Optics and the Yoneda Lemm ... 15:00 - 15:22		ICFP Research Papers Incremental Relational Lenses 15:22 - 15:45		ICFP Research Papers Synthesizing Quotient Lenses 15:45 - 16:07		ICFP Research Papers Generic Deriving of Generic Traversals 16:07 - 16:30				ICFP Student Research Competition Finalist Presentations 17:00 - 17:40			ICFP Programming Contest Contest Report and Results 17:40 - 18:10

Wed 26 Sep 2018


Room	9:00	15	30	45	10:00	15	30	45		11:00	15	30		45	12:00	15	30	45	13:00	15		30	45	14:00	15		30	45	15:00	15	30	45	16:00		15	30	45	17:00	15	30	45	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45	21:00	15	30	45
Catering					ICFP Catering Wednesday coffee break 1 10:00 - 10:30										ICFP Catering Wednesday lunch 12:00 - 13:00												ICFP Catering Wednesday coffee break 2 14:30 - 15:00							ICFP Catering Wednesday coffee break 3 16:10 - 16:30								ICFP Catering Wednesday food trucks 18:00 - 19:00
City Museum																										ICFP Social Events Strange Loop Party, ride a bus from the venue to the City Museum 19:00 - 21:30
Stifel Theatre	ICFP Keynotes and Reports Conveying the Power of Abstraction 09:00 - 10:00						ICFP Research Papers Partially-Static Data as Free Extension of Algebras 10:30 - 10:52		ICFP Research PapersDistinguished Paper Relational Algebra by Way of Adjunctions 10:52 - 11:15		ICFP Research Papers Strict and Lazy Semantics for Effects: Layering Monads and Comonads 11:15 - 11:37		ICFP Research Papers What's the Difference? A Functional Pearl on Subtracting Bijections 11:37 - 12:00						ICFP Research Papers A Spectrum of Type Soundness and Performance 13:00 - 13:22		ICFP Research Papers Casts a

ICFP 2018 Program

Sun 23 Sep

Mon 24 Sep

Tue 25 Sep

Wed 26 Sep

Thu 27 Sep

Fri 28 Sep

Sat 29 Sep

Sun 23 Sep 2018

ICFP Catering

ICFP Catering

ICFP Catering

ICFP Catering

HOPE

HOPE

HOPE

HOPE

HOPE

HOPE

ICFP Catering

HIW

HIW

HIW

HIW

PLMW @ ICFP

PLMW @ ICFP

PLMW @ ICFP

PLMW @ ICFP

Mon 24 Sep 2018

ICFP Catering

ICFP Catering

ICFP Catering

ICFP Catering

ICFP Student Research Competition

ICFP Social Events

ICFP Keynotes and Reports

ICFP Keynotes and Reports

ICFP Research Papers

ICFP Research Papers

ICFP Research Papers

ICFP Research Papers

ICFP Keynotes and Reports

Tue 25 Sep 2018

ICFP Catering

ICFP Catering

ICFP Catering

ICFP Catering

ICFP Keynotes and Reports

ICFP Research Papers

ICFP Keynotes and Reports

ICFP Research Papers

ICFP Research Papers

ICFP Student Research Competition

ICFP Programming Contest

Wed 26 Sep 2018

ICFP Catering

ICFP Catering

ICFP Catering

ICFP Catering

ICFP Catering

ICFP Social Events

ICFP Keynotes and Reports

ICFP Research Papers

ICFP Research Papers

ICFP Research Papers

ICFP Research Papers

ICFP Keynotes and Reports

ICFP Student Research Competition

Thu 27 Sep 2018

ICFP Tutorials

ICFP Tutorials

ICFP Catering

ICFP Catering

ICFP Catering

ICFP Catering

OCaml

OCaml

OCaml

OCaml

OCaml