Write a Blog >>
TyDe 2020
Sun 23 Aug 2020
co-located with ICFP 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

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 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
30m
Talk
Describing Microservices using Modern Haskell (Experience Report)
Haskell
Alejandro Serrano 47 Degrees, Spain, Flavio Corpa 47 Degrees, Spain
DOI
12:30
30m
Talk
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
30m
Talk
A Low-Latency Garbage Collector for GHC (Demo)
Haskell
Ben Gamari Well-Typed LLP, Laura Dietz University of New Hampshire
15:00
30m
Talk
Relational Lenses as a Library (Demo)
Haskell
Rudi Horn University of Edinburgh
File Attached
15:30
30m
Talk
Scripted Signal Functions
Haskell
DOI
16:00
10m
Other
PC Chair Report
Haskell
Tom Schrijvers KU Leuven
16:10 - 17:30
Designated Social Interaction TimeHaskell at Haskell

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 Mokhov Jane Street
10:00
30m
Talk
Finger Trees Explained Anew, and Slightly Simplified (Functional Pearl)
Haskell
Koen Claessen Chalmers 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 Santos University of Minho, Portugal / INESC TEC, Portugal, Jose Nuno Oliveira University of Minho, Portugal / INESC TEC, Portugal
DOI
11:30 - 13:00
Paper Session 4 - EffectsHaskell at Haskell
Chair(s): Pierre-Evariste Dagand LIP6/CNRS
11:30
30m
Talk
A Graded Monad for Deadlock-Free Concurrency (Functional Pearl)
Haskell
Andrej Ivašković University of Cambridge, UK, Alan Mycroft University of Cambridge, UK
DOI
12:00
30m
Talk
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
30m
Talk
Effect Handlers in Haskell, Evidently
Haskell
Ningning Xie Microsoft Research, USA, Daan Leijen Microsoft Research, USA
DOI
14:30 - 16:00
Paper Session 5 - TypesHaskell at Haskell
Chair(s): Jurriaan Hage Utrecht University, Netherlands
14:30
30m
Talk
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
30m
Talk
Eliminating Bugs with Dependent Haskell (Experience Report)
Haskell
Noam Zilberstein Facebook, 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

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