Program - ICFP 2021

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 26 Aug
Displayed time zone: Seoul change

20:00 - 21:30	Paper Session 1Haskell at Haskell

20:00 30m Talk		Chesskell: A Two-Player Game at the Type Level Haskell Toby Bailey University of Warwick, Michael Gale University of Warwick, UK
20:30 30m Talk		Express: applications of dynamically typed Haskell expressions Haskell Rudy Matela Unaffiliated Link to publication DOI Pre-print
21:00 30m Talk		Haskell⁻¹: Automatic Function Inversion in Haskell Haskell Finn Teegen University of Kiel, Germany, Kai-Oliver Prott University of Kiel, Germany, Niels Bunkenburg University of Kiel, Germany DOI Pre-print

22:00 - 23:30	Keynote 1Haskell at Haskell Chair(s): Jurriaan Hage Utrecht University, Netherlands

22:00 90m Keynote		Why Functional Programming with Linear Types Matters Haskell I: Mathieu Boespflug Tweag I/O

23:30 - 01:00	Paper Session 2Haskell at Haskell

23:30 30m Talk		Design Patterns for Parser Combinators (Functional Pearl) Haskell Jamie Willis Imperial College London, Nicolas Wu Imperial College London, UK
00:00 30m Talk		Graded Monads and Type-Level Programming for Dependence Analysis Haskell Finnbar Keating University of Warwick, Michael Gale University of Warwick, UK
00:30 30m Talk		Chair Report Haskell Jurriaan Hage Utrecht University, Netherlands

Fri 27 Aug
Displayed time zone: Seoul change

20:00 - 21:30	Paper Session 3Haskell at Haskell

20:00 30m Talk		Practical Normalization by Evaluation for EDSLs Haskell Nachiappan Valliappan Chalmers University of Technology, Sweden, Alejandro Russo Chalmers University of Technology, Sweden, Sam Lindley The University of Edinburgh, UK
20:30 30m Talk		Safe Mutation with Algebraic Effects Haskell Hashan Punchihewa Imperial College London, Nicolas Wu Imperial College London, UK
21:00 30m Talk		Seeking Stability by being Lazy and Shallow: Lazy and shallow instantiation is user friendly Haskell Gert-Jan Bottu KU Leuven, Richard A. Eisenberg Tweag

22:00 - 23:30	Keynote 2Haskell at Haskell Chair(s): Jurriaan Hage Utrecht University, Netherlands

22:00 90m Keynote		Linear Haskell, Today and Tomorrow Haskell I: Jean-Philippe Bernardy University of Gothenburg, Sweden

23:30 - 01:00	Paper Session 4Haskell at Haskell

23:30 30m Talk		Deadlock-Free Session Types in Linear Haskell Haskell Wen Kokke University of Edinburgh, Ornela Dardha University of Glasgow
00:00 30m Talk		Evaluating Linear Functions to Symmetric Monoidal Categories Haskell Jean-Philippe Bernardy University of Gothenburg, Sweden, Arnaud Spiwack Tweag DOI Pre-print
00:30 30m Talk		This is not really a talk, but should ensure the two talks before it are 30 min. long Haskell A: Jurriaan Hage Utrecht University, Netherlands

Haskell 2021 Program

Thu 26 Aug
Displayed time zone: Seoul change

Fri 27 Aug
Displayed time zone: Seoul change

Tracks

Workshops

Co-hosted Symposia

Haskell 2021 Program

Switch Program View

Program Display Configuration

Thu 26 AugDisplayed time zone: Seoul change

Fri 27 AugDisplayed time zone: Seoul change

Get Calendar (iCal)

Thu 26 Aug
Displayed time zone: Seoul change

Fri 27 Aug
Displayed time zone: Seoul change