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 – Proceedings

Contents - Abstracts - Authors

13th ACM SIGPLAN International Haskell Symposium (Haskell 2020)

Frontmatter

Title Page
Welcome from the Chair

Experience Reports

Describing Microservices using Modern Haskell (Experience Report)
Alejandro Serrano and Flavio Corpa
(47 Degrees, Spain)
Publisher's Version
Eliminating Bugs with Dependent Haskell (Experience Report)
Noam Zilberstein
(Facebook, USA)
Publisher's Version

Functional Pearls

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

Research Papers

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

proc time: 3.16