ICFP 2021
Sun 22 - Sat 28 August 2021
Fri 27 Aug 2021 22:00 - 23:30 at Haskell - Keynote 2 Chair(s): Jurriaan Hage

Several years after the design of Linear Haskell was proposed, GHC 9 is the first compiler which features linear types. As such Haskell programmers can begin to use linear types today. In the talk I will first recall the main ideas principles behind Linear Haskell. Then I will demonstrate some of what one can do using Linear Haskell as implemented in GHC. Finally I will outline future application of linear types in Haskell and the corresponding research directions.

Fri 27 Aug

Displayed time zone: Seoul change

22:00 - 23:30
Keynote 2Haskell at Haskell
Chair(s): Jurriaan Hage Utrecht University, Netherlands
Linear Haskell, Today and Tomorrow
I: Jean-Philippe Bernardy University of Gothenburg, Sweden