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 Event, Republic of Korea

Haskell 2021 – Preliminary Table of Contents

Contents - Abstracts - Authors

14th ACM SIGPLAN International Haskell Symposium (Haskell 2021)

Frontmatter

Title Page
Message from the Chairs

Papers

Deadlock-Free Session Types in Linear Haskell
Wen Kokke ORCID logo and Ornela DardhaORCID logo
(University of Edinburgh, UK; University of Glasgow, UK)
Article Search
Evaluating Linear Functions to Symmetric Monoidal Categories
Jean-Philippe Bernardy ORCID logo and Arnaud Spiwack
(University of Gothenburg, Sweden; Tweag, n.n.)
Article Search Artifacts Available
Graded Monads and Type-Level Programming for Dependence Analysis
Finnbar Keating ORCID logo and Michael B. GaleORCID logo
(University of Warwick, UK)
Article Search
Haskell⁻¹: Automatic Function Inversion in Haskell
Finn Teegen ORCID logo, Kai-Oliver Prott ORCID logo, and Niels Bunkenburg ORCID logo
(University of Kiel, Germany)
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)
Article Search Artifacts Available
Design Patterns for Parser Combinators (Functional Pearl)
Jamie Willis ORCID logo and Nicolas WuORCID logo
(Imperial College London, UK)
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, USA)
Preprint
Express: Applications of Dynamically Typed Haskell Expressions
Rudy Matela
Preprint Info
Chesskell: A Two-Player Game at the Type Level
Toby Bailey and Michael B. GaleORCID logo
(University of Warwick, UK)
Article Search Info
Safe Mutation with Algebraic Effects
Hashan Punchihewa and Nicolas WuORCID logo
(Imperial College London, UK)
Article Search

proc time: 2.63