Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Fri 28 Aug 2020 14:00 - 14:22 at HIW - Sessions 4 and 5

Linear Haskell will be a part of GHC 8.12. This project has been going on for 4 years and involved a large amount of changes to GHC. In this talk, I will present an overview of changes - typechecker, Core, changes to optimization passes, extra argument to FunTy, interactions with parts of GHC that we did not expect. I will be paying particular attention to the changes in the simplifier that have been necessary to convey linearity information to Core Lint.

Fri 28 Aug

Displayed time zone: Eastern Time (US & Canada) change

14:00 - 17:30
Sessions 4 and 5HIW at HIW
14:00
22m
Talk
Implementation of linear types
HIW
14:22
22m
Talk
Circuit Notation Source Plugin
HIW
15:00
45m
Talk
Lightning Talks 2
HIW

15:45
12m
Talk
Embracing a Mechanized Formalization Gap: Interactive reasoning for Haskell at scale
HIW
Antal Spector-Zabusky University of Pennsylvania, Joachim Breitner DFINITY Foundation, Stephanie Weirich University of Pennsylvania, Yao Li University of Pennsylvania
16:00
20m
Talk
Closing
HIW
Ben Gamari Well-Typed LLP