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 Article Search
Evaluating Linear Functions to Symmetric Monoidal Categories
Jean-Philippe Bernardy ORCID logo and Arnaud Spiwack
(University of Gothenburg, Sweden; Tweag, France)
Publisher's Version Article Search Info Artifacts Available
Graded Monads and Type-Level Programming for Dependence Analysis
Finnbar KeatingORCID logo and Michael B. GaleORCID logo
(University of Warwick, UK)
Publisher's Version Article Search Artifacts Available
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 Article Search Artifacts Available
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 Article Search Artifacts Available
Design Patterns for Parser Combinators (Functional Pearl)
Jamie Willis ORCID logo and Nicolas WuORCID logo
(Imperial College London, UK)
Publisher's Version Article Search Artifacts Available
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 Article Search
Express: Applications of Dynamically Typed Haskell Expressions
Rudy Matela
Publisher's Version Article Search Info
Chesskell: A Two-Player Game at the Type Level
Toby Bailey and Michael B. GaleORCID logo
(University of Warwick, UK)
Publisher's Version Article Search Info Artifacts Available
Safe Mutation with Algebraic Effects
Hashan Punchihewa and Nicolas WuORCID logo
(Imperial College London, UK)
Publisher's Version Article Search

proc time: 2.95