ICFP 2021 (series) / Haskell 2021 (series) /
Haskell 2021 Program
This is the Haskell 2021 program - see the full program for ICFP 2021 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Thu 26 AugDisplayed time zone: Seoul change
Thu 26 Aug
Displayed time zone: Seoul change
20:00 - 21:30 | |||
20:00 30mTalk | Chesskell: A Two-Player Game at the Type Level Haskell | ||
20:30 30mTalk | Express: applications of dynamically typed Haskell expressions Haskell Rudy Matela Unaffiliated Link to publication DOI Pre-print | ||
21:00 30mTalk | 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 | |||
22:00 90mKeynote | Why Functional Programming with Linear Types Matters Haskell |
23:30 - 01:00 | |||
23:30 30mTalk | Design Patterns for Parser Combinators (Functional Pearl) Haskell | ||
00:00 30mTalk | Graded Monads and Type-Level Programming for Dependence Analysis Haskell | ||
00:30 30mTalk | Chair Report Haskell Jurriaan Hage Utrecht University, Netherlands |
Fri 27 AugDisplayed time zone: Seoul change
Fri 27 Aug
Displayed time zone: Seoul change
20:00 - 21:30 | |||
20:00 30mTalk | 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 30mTalk | Safe Mutation with Algebraic Effects Haskell | ||
21:00 30mTalk | Seeking Stability by being Lazy and Shallow: Lazy and shallow instantiation is user friendly Haskell |
22:00 - 23:30 | |||
22:00 90mKeynote | Linear Haskell, Today and Tomorrow Haskell |
23:30 - 01:00 | |||
23:30 30mTalk | Deadlock-Free Session Types in Linear Haskell Haskell | ||
00:00 30mTalk | Evaluating Linear Functions to Symmetric Monoidal Categories Haskell DOI Pre-print | ||
00:30 30mTalk | This is not really a talk, but should ensure the two talks before it are 30 min. long Haskell |