ICFP Workshops 2020
25th ACM SIGPLAN International Conference on Functional Programming (ICFP 2020)
Powered by
Conference Publishing Consulting

13th ACM SIGPLAN International Haskell Symposium (Haskell 2020), August 27, 2020, Virtual Event, USA

Haskell 2020 – Preliminary Table of Contents

Contents - Abstracts - Authors

13th ACM SIGPLAN International Haskell Symposium (Haskell 2020)

Frontmatter

Title Page
Message from the Chairs

Experience Reports

Describing Microservices using Modern Haskell (Experience Report)
Alejandro Serrano and Flavio Corpa
(47 Degrees, n.n.)
Article Search
Eliminating Bugs with Dependent Haskell (Experience Report)
Noam Zilberstein
(Facebook, n.n.)
Article Search

Functional Pearls

A Graded Monad for Deadlock-Free Concurrency (Functional Pearl)
Andrej Ivašković and Alan Mycroft
(University of Cambridge, UK)
Article Search
Finger Trees Explained Anew and Slightly Simplified (Functional Pearl)
Koen Claessen
(Chalmers University of Technology, Sweden)
Article Search
Stitch: The Sound Type-Indexed Type Checker (Functional Pearl)
Richard A. Eisenberg
(Tweag I/O, France; Bryn Mawr College, USA)
Article Search
Type Your Matrices for Great Good: A Haskell Library of Typed Matrices and Applications (Functional Pearl)
Armando Santos and José N. Oliveira
(University of Minho, Portugal)
Article Search

Research Papers

Assessing the Quality of Evolving Haskell Systems by Measuring Structural Inequality
Sander Kamps, Bastiaan Heeren, and Johan Jeuring
(Open University of the Netherlands, Netherlands; Utrecht University, Netherlands)
Article Search
Composing Effects into Tasks and Workflows
Yves Parès, Jean-Philippe Bernardy, and Richard A. Eisenberg
(Tweag I/O, France; University of Gothenburg, Sweden; Bryn Mawr College, USA)
Article Search
Effect Handlers in Haskell, Evidently
Ningning Xie and Daan Leijen
(Microsoft Research, n.n.)
Article Search
Scripted Signal Functions
David Stuart
Article Search
Staged Sums of Products
Matthew Pickering, Andres Löh, and Nicolas Wu
(University of Bristol, UK; Well-Typed LLP, n.n.; Imperial College London, UK)
Article Search
Towards Secure IoT Programming in Haskell
Nachiappan Valliappan, Alejandro Russo, Koen Claessen, and Robert Krook
(Chalmers University of Technology, Sweden)
Article Search

proc time: 2.48