ICFP 2020 (series) / Haskell 2020 (series) /
Haskell 2020 Program
This is the Haskell 2020 program - see the full program for ICFP 2020 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Thu 27 AugDisplayed time zone: Eastern Time (US & Canada) change
Thu 27 Aug
Displayed time zone: Eastern Time (US & Canada) change
10:00 - 11:00 | |||
10:00 60mKeynote | Using STM for Modular Concurrency: An Industrial Experience Report on Software Transactional Memory Haskell |
11:30 - 13:00 | |||
11:30 30mTalk | Assessing the Quality of Evolving Haskell Systems by Measuring Structural Inequality Haskell Sander Kamps Open University of the Netherlands, Netherlands, Bastiaan Heeren Open University of the Netherlands, Netherlands, Johan Jeuring Open University of the Netherlands, Netherlands DOI | ||
12:00 30mTalk | Describing Microservices using Modern Haskell (Experience Report) Haskell DOI | ||
12:30 30mTalk | Towards Secure IoT Programming in Haskell Haskell Nachiappan Valliappan Chalmers University of Technology, Sweden, Robert Krook Chalmers University of Technology, Sweden, Alejandro Russo Chalmers University of Technology, Sweden, Koen Claessen Chalmers University of Technology, Sweden DOI |
14:30 - 16:10 | Paper Session 2 - Animations and DemonstrationsHaskell at Haskell Chair(s): Exequiel Rivas Inria Paris | ||
14:30 30mTalk | A Low-Latency Garbage Collector for GHC (Demo) Haskell | ||
15:00 30mTalk | Relational Lenses as a Library (Demo) Haskell Rudi Horn University of Edinburgh File Attached | ||
15:30 30mTalk | Scripted Signal Functions Haskell David A. Stuart None DOI | ||
16:00 10mOther | PC Chair Report Haskell Tom Schrijvers KU Leuven |
Fri 28 AugDisplayed time zone: Eastern Time (US & Canada) change
Fri 28 Aug
Displayed time zone: Eastern Time (US & Canada) change
10:00 - 11:00 | |||
10:00 30mTalk | Finger Trees Explained Anew, and Slightly Simplified (Functional Pearl) Haskell Koen Claessen Chalmers University of Technology, Sweden DOI | ||
10:30 30mTalk | Type Your Matrices for Great Good: A Haskell Library of Typed Matrices and Applications (Functional Pearl) Haskell Armando João Isaías Ferreira dos Santos University of Minho, Portugal / INESC TEC, Portugal, Jose Nuno Oliveira University of Minho, Portugal / INESC TEC, Portugal DOI |
11:30 - 13:00 | |||
11:30 30mTalk | A Graded Monad for Deadlock-Free Concurrency (Functional Pearl) Haskell DOI | ||
12:00 30mTalk | Composing Effects into Tasks and Workflows Haskell Yves Parès Tweag I/O, France, Jean-Philippe Bernardy University of Gothenburg, Sweden, Richard A. Eisenberg Tweag I/O DOI | ||
12:30 30mTalk | Effect Handlers in Haskell, Evidently Haskell DOI |
14:30 - 16:00 | |||
14:30 30mTalk | Staged Sums of Products Haskell Matthew Pickering University of Bristol, UK, Andres Löh Well-Typed LLP, Nicolas Wu Imperial College London, UK DOI | ||
15:00 30mTalk | Eliminating Bugs with Dependent Haskell (Experience Report) Haskell Noam Zilberstein Facebook, USA DOI | ||
15:30 30mTalk | Stitch: The Sound Type-Indexed Type Checker (Functional Pearl) Haskell Richard A. Eisenberg Tweag I/O DOI File Attached |