Write a Blog >>
Haskell 2021
Thu 26 - Fri 27 August 2021
co-located with ICFP 2021
VenueVirtual
Room nameHaskell
Room InformationNo extra information available
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 2021 at Haskell
20:00
30m
Talk
Chesskell: A Two-Player Game at the Type Level
Haskell 2021
Toby Bailey University of Warwick, Michael Gale University of Warwick, UK
20:30
30m
Talk
Express: applications of dynamically typed Haskell expressions
Haskell 2021
Rudy Matela Unaffiliated
Link to publication DOI Pre-print
21:00
30m
Talk
Haskell⁻¹: Automatic Function Inversion in Haskell
Haskell 2021
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 2021 at Haskell
Chair(s): Jurriaan Hage Utrecht University, Netherlands
22:00
90m
Keynote
Why Functional Programming with Linear Types Matters
Haskell 2021
I: Mathieu Boespflug Tweag I/O
23:30 - 01:00
Paper Session 2Haskell 2021 at Haskell
23:30
30m
Talk
Design Patterns for Parser Combinators (Functional Pearl)
Haskell 2021
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 2021
Finnbar Keating University of Warwick, Michael Gale University of Warwick, UK
00:30
30m
Talk
Chair Report
Haskell 2021
Jurriaan Hage Utrecht University, Netherlands

Fri 27 Aug

Displayed time zone: Seoul change

20:00 - 21:30
Paper Session 3Haskell 2021 at Haskell
20:00
30m
Talk
Practical Normalization by Evaluation for EDSLs
Haskell 2021
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 2021
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 2021
22:00 - 23:30
Keynote 2Haskell 2021 at Haskell
Chair(s): Jurriaan Hage Utrecht University, Netherlands
22:00
90m
Keynote
Linear Haskell, Today and Tomorrow
Haskell 2021
I: Jean-Philippe Bernardy University of Gothenburg, Sweden
23:30 - 01:00
Paper Session 4Haskell 2021 at Haskell
23:30
30m
Talk
Deadlock-Free Session Types in Linear Haskell
Haskell 2021
Wen Kokke University of Edinburgh, Ornela Dardha University of Glasgow
00:00
30m
Talk
Evaluating Linear Functions to Symmetric Monoidal Categories
Haskell 2021
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 2021
A: Jurriaan Hage Utrecht University, Netherlands

Thu 26 Aug

Displayed time zone: Seoul change

Fri 27 Aug

Displayed time zone: Seoul change

Fri 27 Aug

Displayed time zone: Seoul change

Room0:001530451:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Haskell
Haskell
Chair Report
00:30 - 01:00