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
Article: icfpws21haskellforeword-fm000-p doi:
Welcome from the Chair
Article: icfpws21haskellforeword-fm001-p doi:

Papers

Deadlock-Free Session Types in Linear Haskell
Wen Kokke and Ornela Dardha
(University of Edinburgh, UK; University of Glasgow, UK)
Publisher's Version Article: icfpws21haskellmain-p25-p doi:10.1145/3471874.3472979
Evaluating Linear Functions to Symmetric Monoidal Categories
Jean-Philippe Bernardy and Arnaud Spiwack
(University of Gothenburg, Sweden; Tweag, France)
Publisher's Version Published Artifact Artifacts Available Article: icfpws21haskellmain-p33-p doi:10.1145/3471874.3472980
Graded Monads and Type-Level Programming for Dependence Analysis
Finnbar Keating and Michael B. Gale
(University of Warwick, UK)
Publisher's Version Published Artifact Artifacts Available Article: icfpws21haskellmain-p36-p doi:10.1145/3471874.3472981
Haskell⁻¹: Automatic Function Inversion in Haskell
Finn Teegen, Kai-Oliver Prott, and Niels Bunkenburg
(University of Kiel, Germany)
Publisher's Version Published Artifact Artifacts Available Article: icfpws21haskellmain-p38-p doi:10.1145/3471874.3472982
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 Published Artifact Artifacts Available Article: icfpws21haskellmain-p54-p doi:10.1145/3471874.3472983
Design Patterns for Parser Combinators (Functional Pearl)
Jamie Willis and Nicolas Wu
(Imperial College London, UK)
Publisher's Version Published Artifact Artifacts Available Article: icfpws21haskellmain-p74-p doi:10.1145/3471874.3472984
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 Article: icfpws21haskellmain-p76-p doi:10.1145/3471874.3472985
Express: Applications of Dynamically Typed Haskell Expressions
Rudy Matela
Publisher's Version Article: icfpws21haskellmain-p86-p doi:10.1145/3471874.3472986
Chesskell: A Two-Player Game at the Type Level
Toby Bailey and Michael B. Gale
(University of Warwick, UK)
Publisher's Version Published Artifact Artifacts Available Article: icfpws21haskellmain-p95-p doi:10.1145/3471874.3472987
Safe Mutation with Algebraic Effects
Hashan Punchihewa and Nicolas Wu
(Imperial College London, UK)
Publisher's Version Article: icfpws21haskellmain-p100-p doi:10.1145/3471874.3472988

proc time: 0.01