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)


@InProceedings{Haskell20p1, author = {Alejandro Serrano and Flavio Corpa}, title = {Describing Microservices using Modern Haskell (Experience Report)}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3406088.3409018}, year = {2020}, } Publisher's Version

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


@InProceedings{Haskell20p9, author = {Noam Zilberstein}, title = {Eliminating Bugs with Dependent Haskell (Experience Report)}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {9-8}, doi = {10.1145/3406088.3409020}, year = {2020}, } Publisher's Version

Functional Pearls

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


@InProceedings{Haskell20p17, author = {Andrej Ivašković and Alan Mycroft}, title = {A Graded Monad for Deadlock-Free Concurrency (Functional Pearl)}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {17-16}, doi = {10.1145/3406088.3409024}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available

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


@InProceedings{Haskell20p35, author = {Koen Claessen}, title = {Finger Trees Explained Anew, and Slightly Simplified (Functional Pearl)}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {35-34}, doi = {10.1145/3406088.3409026}, year = {2020}, } Publisher's Version

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


@InProceedings{Haskell20p53, author = {Richard A. Eisenberg}, title = {Stitch: The Sound Type-Indexed Type Checker (Functional Pearl)}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {53-52}, doi = {10.1145/3406088.3409015}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available

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)


@InProceedings{Haskell20p71, author = {Armando Santos and José N. Oliveira}, title = {Type Your Matrices for Great Good: A Haskell Library of Typed Matrices and Applications (Functional Pearl)}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {71-70}, doi = {10.1145/3406088.3409019}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available

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)


@InProceedings{Haskell20p89, author = {Sander Kamps and Bastiaan Heeren and Johan Jeuring}, title = {Assessing the Quality of Evolving Haskell Systems by Measuring Structural Inequality}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {89-88}, doi = {10.1145/3406088.3409014}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available

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)


@InProceedings{Haskell20p107, author = {Yves Parès and Jean-Philippe Bernardy and Richard A. Eisenberg}, title = {Composing Effects into Tasks and Workflows}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {107-106}, doi = {10.1145/3406088.3409023}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available

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


@InProceedings{Haskell20p125, author = {Ningning Xie and Daan Leijen}, title = {Effect Handlers in Haskell, Evidently}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {125-124}, doi = {10.1145/3406088.3409022}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available

Scripted Signal Functions
David A. Stuart


@InProceedings{Haskell20p143, author = {David A. Stuart}, title = {Scripted Signal Functions}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {143-142}, doi = {10.1145/3406088.3409016}, year = {2020}, } Publisher's Version

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


@InProceedings{Haskell20p161, author = {Matthew Pickering and Andres Löh and Nicolas Wu}, title = {Staged Sums of Products}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {161-160}, doi = {10.1145/3406088.3409021}, year = {2020}, } Publisher's Version

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


@InProceedings{Haskell20p179, author = {Nachiappan Valliappan and Robert Krook and Alejandro Russo and Koen Claessen}, title = {Towards Secure IoT Programming in Haskell}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {179-178}, doi = {10.1145/3406088.3409027}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available

proc time: 0.65