Haskell 2020 – Proceedings

13th ACM SIGPLAN International Haskell Symposium (Haskell 2020)

Frontmatter

Experience Reports

Describing Microservices using Modern Haskell (Experience Report)
Alejandro Serrano and Flavio Corpa
(47 Degrees, Spain)

Publisher's Version Article: icfpws20haskellmain-p14-p doi:10.1145/3406088.3409018

Eliminating Bugs with Dependent Haskell (Experience Report)
Noam Zilberstein
(Facebook, USA)

Publisher's Version Article: icfpws20haskellmain-p17-p doi:10.1145/3406088.3409020

Functional Pearls

A Graded Monad for Deadlock-Free Concurrency (Functional Pearl)
Andrej Ivašković and Alan Mycroft
(University of Cambridge, UK)

Publisher's Version Published Artifact Artifacts Available Article: icfpws20haskellmain-p25-p doi:10.1145/3406088.3409024

Finger Trees Explained Anew, and Slightly Simplified (Functional Pearl)
Koen Claessen
(Chalmers University of Technology, Sweden)

Publisher's Version Article: icfpws20haskellmain-p28-p doi:10.1145/3406088.3409026

Stitch: The Sound Type-Indexed Type Checker (Functional Pearl)
Richard A. Eisenberg
(Tweag I/O, France; Bryn Mawr College, USA)

Publisher's Version Published Artifact Artifacts Available Article: icfpws20haskellmain-p8-p doi:10.1145/3406088.3409015

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; INESC TEC, Portugal)

Publisher's Version Published Artifact Artifacts Available Article: icfpws20haskellmain-p16-p doi:10.1145/3406088.3409019

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)

Publisher's Version Published Artifact Artifacts Available Article: icfpws20haskellmain-p2-p doi:10.1145/3406088.3409014

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)

Publisher's Version Published Artifact Artifacts Available Article: icfpws20haskellmain-p24-p doi:10.1145/3406088.3409023

Effect Handlers in Haskell, Evidently
Ningning Xie and Daan Leijen
(Microsoft Research, USA)

Publisher's Version Published Artifact Artifacts Available Article: icfpws20haskellmain-p23-p doi:10.1145/3406088.3409022

Scripted Signal Functions
David A. Stuart

Publisher's Version Article: icfpws20haskellmain-p9-p doi:10.1145/3406088.3409016

Staged Sums of Products
Matthew Pickering, Andres Löh, and Nicolas Wu
(University of Bristol, UK; Well-Typed LLP, UK; Imperial College London, UK)

Publisher's Version Article: icfpws20haskellmain-p21-p doi:10.1145/3406088.3409021

Towards Secure IoT Programming in Haskell
Nachiappan Valliappan, Robert Krook, Alejandro Russo, and Koen Claessen
(Chalmers University of Technology, Sweden)

Publisher's Version Published Artifact Artifacts Available Article: icfpws20haskellmain-p31-p doi:10.1145/3406088.3409027

proc time: 0.02