Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
VenueOnline
Room nameHaskell
Floor0
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

Conference Day
Thu 27 Aug

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

09:00 - 10:00
Designated Social Interaction TimeHaskell at Haskell
11:30 - 13:00
Paper Session 1 - Software EngineeringHaskell at Haskell
Chair(s): José Pedro Magalhães
11:30
30m
Talk
Assessing the Quality of Evolving Haskell Systems by Measuring Structural Inequality
Haskell
Sander KampsOpen University of the Netherlands, Netherlands, Bastiaan HeerenOpen University of the Netherlands, Netherlands, Johan JeuringOpen University of the Netherlands, Netherlands
DOI
12:00
30m
Talk
Describing Microservices using Modern Haskell (Experience Report)
Haskell
Alejandro Serrano47 Degrees, Spain, Flavio Corpa47 Degrees, Spain
DOI
12:30
30m
Talk
Towards Secure IoT Programming in Haskell
Haskell
Nachiappan ValliappanChalmers University of Technology, Sweden, Robert KrookChalmers University of Technology, Sweden, Alejandro RussoChalmers University of Technology, Sweden, Koen ClaessenChalmers University of Technology, Sweden
DOI
14:30 - 16:10
Paper Session 2 - Animations and DemonstrationsHaskell at Haskell
Chair(s): Exequiel RivasInria Paris
14:30
30m
Talk
A Low-Latency Garbage Collector for GHC (Demo)
Haskell
Ben GamariWell-Typed LLP, Laura DietzUniversity of New Hampshire
15:00
30m
Talk
Relational Lenses as a Library (Demo)
Haskell
Rudi HornUniversity of Edinburgh
File Attached
15:30
30m
Talk
Scripted Signal Functions
Haskell
DOI
16:00
10m
Other
PC Chair Report
Haskell
16:10 - 17:30
Designated Social Interaction TimeHaskell at Haskell

Conference Day
Fri 28 Aug

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

09:00 - 10:00
Designated Social Interaction TimeHaskell at Haskell
10:00 - 11:00
Paper Session 3 - DatastructuresHaskell at Haskell
Chair(s): Andrey MokhovJane Street
10:00
30m
Talk
Finger Trees Explained Anew, and Slightly Simplified (Functional Pearl)
Haskell
Koen ClaessenChalmers University of Technology, Sweden
DOI
10:30
30m
Talk
Type Your Matrices for Great Good: A Haskell Library of Typed Matrices and Applications (Functional Pearl)
Haskell
Armando João Isaías Ferreira dos SantosUniversity of Minho, Portugal / INESC TEC, Portugal, Jose Nuno OliveiraUniversity of Minho, Portugal / INESC TEC, Portugal
DOI
11:30 - 13:00
Paper Session 4 - EffectsHaskell at Haskell
Chair(s): Pierre-Evariste DagandLIP6/CNRS
11:30
30m
Talk
A Graded Monad for Deadlock-Free Concurrency (Functional Pearl)
Haskell
Andrej IvaškovićUniversity of Cambridge, UK, Alan MycroftUniversity of Cambridge, UK
DOI
12:00
30m
Talk
Composing Effects into Tasks and Workflows
Haskell
Yves ParèsTweag I/O, France, Jean-Philippe BernardyUniversity of Gothenburg, Sweden, Richard A. EisenbergTweag I/O
DOI
12:30
30m
Talk
Effect Handlers in Haskell, Evidently
Haskell
Ningning XieMicrosoft Research, USA, Daan LeijenMicrosoft Research, USA
DOI
14:30 - 16:00
Paper Session 5 - TypesHaskell at Haskell
Chair(s): Jurriaan HageUtrecht University, Netherlands
14:30
30m
Talk
Staged Sums of Products
Haskell
Matthew PickeringUniversity of Bristol, UK, Andres LöhWell-Typed LLP, Nicolas WuImperial College London, UK
DOI
15:00
30m
Talk
Eliminating Bugs with Dependent Haskell (Experience Report)
Haskell
Noam ZilbersteinFacebook, USA
DOI
15:30
30m
Talk
Stitch: The Sound Type-Indexed Type Checker (Functional Pearl)
Haskell
DOI File Attached
16:00 - 17:30
Designated Social Interaction TimeHaskell at Haskell

Conference Day
Thu 27 Aug

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:00300:00301:00302:00303:00304:00305:0030
Haskell

Conference Day
Fri 28 Aug

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