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)

Publisher's Version

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

Publisher's Version Info

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

Publisher's Version

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

Publisher's Version

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

Publisher's Version

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

Publisher's Version

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)

Publisher's Version

Express: Applications of Dynamically Typed Haskell Expressions
Rudy Matela

Publisher's Version Info

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

Publisher's Version Info

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

Publisher's Version

proc time: 1.83