Haskell 2021 – Proceedings

14th ACM SIGPLAN International Haskell Symposium (Haskell 2021)

Frontmatter

Papers

Deadlock-Free Session Types in Linear Haskell
Wen Kokke and Ornela Dardha
(University of Edinburgh, UK; University of Glasgow, UK)


@InProceedings{Haskell21p1, author = {Wen Kokke and Ornela Dardha}, title = {Deadlock-Free Session Types in Linear Haskell}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3471874.3472979}, year = {2021}, } Publisher's Version

Evaluating Linear Functions to Symmetric Monoidal Categories
Jean-Philippe Bernardy and Arnaud Spiwack
(University of Gothenburg, Sweden; Tweag, France)


@InProceedings{Haskell21p17, author = {Jean-Philippe Bernardy and Arnaud Spiwack}, title = {Evaluating Linear Functions to Symmetric Monoidal Categories}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {17-16}, doi = {10.1145/3471874.3472980}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available

Graded Monads and Type-Level Programming for Dependence Analysis
Finnbar Keating and Michael B. Gale
(University of Warwick, UK)


@InProceedings{Haskell21p33, author = {Finnbar Keating and Michael B. Gale}, title = {Graded Monads and Type-Level Programming for Dependence Analysis}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {33-32}, doi = {10.1145/3471874.3472981}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available

Haskell⁻¹: Automatic Function Inversion in Haskell
Finn Teegen, Kai-Oliver Prott, and Niels Bunkenburg
(University of Kiel, Germany)


@InProceedings{Haskell21p49, author = {Finn Teegen and Kai-Oliver Prott and Niels Bunkenburg}, title = {Haskell⁻¹: Automatic Function Inversion in Haskell}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {49-48}, doi = {10.1145/3471874.3472982}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available

Practical Normalization by Evaluation for EDSLs
Nachiappan Valliappan, Alejandro Russo, and Sam Lindley
(Chalmers University of Technology, Sweden; University of Edinburgh, UK)


@InProceedings{Haskell21p65, author = {Nachiappan Valliappan and Alejandro Russo and Sam Lindley}, title = {Practical Normalization by Evaluation for EDSLs}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {65-64}, doi = {10.1145/3471874.3472983}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available

Design Patterns for Parser Combinators (Functional Pearl)
Jamie Willis and Nicolas Wu
(Imperial College London, UK)


@InProceedings{Haskell21p81, author = {Jamie Willis and Nicolas Wu}, title = {Design Patterns for Parser Combinators (Functional Pearl)}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {81-80}, doi = {10.1145/3471874.3472984}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available

Seeking Stability by Being Lazy and Shallow: Lazy and Shallow Instantiation Is User Friendly
Gert-Jan Bottu and Richard A. Eisenberg
(KU Leuven, Belgium; Tweag, France)


@InProceedings{Haskell21p97, author = {Gert-Jan Bottu and Richard A. Eisenberg}, title = {Seeking Stability by Being Lazy and Shallow: Lazy and Shallow Instantiation Is User Friendly}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {97-96}, doi = {10.1145/3471874.3472985}, year = {2021}, } Publisher's Version

Express: Applications of Dynamically Typed Haskell Expressions
Rudy Matela


@InProceedings{Haskell21p113, author = {Rudy Matela}, title = {Express: Applications of Dynamically Typed Haskell Expressions}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {113-112}, doi = {10.1145/3471874.3472986}, year = {2021}, } Publisher's Version

Chesskell: A Two-Player Game at the Type Level
Toby Bailey and Michael B. Gale
(University of Warwick, UK)


@InProceedings{Haskell21p129, author = {Toby Bailey and Michael B. Gale}, title = {Chesskell: A Two-Player Game at the Type Level}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {129-128}, doi = {10.1145/3471874.3472987}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available

Safe Mutation with Algebraic Effects
Hashan Punchihewa and Nicolas Wu
(Imperial College London, UK)


@InProceedings{Haskell21p145, author = {Hashan Punchihewa and Nicolas Wu}, title = {Safe Mutation with Algebraic Effects}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {145-144}, doi = {10.1145/3471874.3472988}, year = {2021}, } Publisher's Version

proc time: 0.64