ICFP Workshops 2021
26th ACM SIGPLAN International Conference on Functional Programming (ICFP 2021)
Powered by
Conference Publishing Consulting

14th ACM SIGPLAN International Haskell Symposium (Haskell 2021), August 26–27, 2021, Virtual, Republic of Korea

Haskell 2021 – Proceedings

Contents - Abstracts - Authors

14th ACM SIGPLAN International Haskell Symposium (Haskell 2021)

Frontmatter

Title Page
Welcome from the Chair

Papers

Deadlock-Free Session Types in Linear Haskell
Wen Kokke ORCID logo and Ornela DardhaORCID logo
(University of Edinburgh, UK; University of Glasgow, UK)
Publisher's Version
Evaluating Linear Functions to Symmetric Monoidal Categories
Jean-Philippe Bernardy ORCID logo and Arnaud Spiwack ORCID logo
(University of Gothenburg, Sweden; Tweag, France)
Publisher's Version Info
Graded Monads and Type-Level Programming for Dependence Analysis
Finnbar KeatingORCID logo and Michael B. GaleORCID logo
(University of Warwick, UK)
Publisher's Version
Haskell⁻¹: Automatic Function Inversion in Haskell
Finn Teegen ORCID logo, Kai-Oliver Prott ORCID logo, and Niels Bunkenburg ORCID logo
(University of Kiel, Germany)
Publisher's Version
Practical Normalization by Evaluation for EDSLs
Nachiappan Valliappan ORCID logo, Alejandro Russo ORCID logo, and Sam Lindley ORCID logo
(Chalmers University of Technology, Sweden; University of Edinburgh, UK)
Publisher's Version
Design Patterns for Parser Combinators (Functional Pearl)
Jamie Willis ORCID logo and Nicolas WuORCID logo
(Imperial College London, UK)
Publisher's Version
Seeking Stability by Being Lazy and Shallow: Lazy and Shallow Instantiation Is User Friendly
Gert-Jan BottuORCID logo and Richard A. EisenbergORCID logo
(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. GaleORCID logo
(University of Warwick, UK)
Publisher's Version Info
Safe Mutation with Algebraic Effects
Hashan Punchihewa and Nicolas WuORCID logo
(Imperial College London, UK)
Publisher's Version

proc time: 2.2