ICFP 2021
Sun 22 - Sat 28 August 2021

Dates
Rooms
Tracks
Badges
Your Program
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
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