Haskell 2021

10 papers

1. Chesskell: a two-player game at the type level · Toby Bailey, Michael B. Gale
2. Deadlock-free session types in linear Haskell · Wen Kokke, Ornela Dardha
3. Design patterns for parser combinators (functional pearl) · Jamie Willis, Nicolas Wu
4. Evaluating linear functions to symmetric monoidal categories · Jean-Philippe Bernardy, Arnaud Spiwack
5. Express: applications of dynamically typed Haskell expressions · Rudy Matela
6. Graded monads and type-level programming for dependence analysis · Finnbar Keating, Michael B. Gale
7. Haskell⁻¹: automatic function inversion in Haskell · Finn Teegen, Kai-Oliver Prott, Niels Bunkenburg
8. Practical normalization by evaluation for EDSLs · Nachiappan Valliappan, Alejandro Russo, Sam Lindley
9. Safe mutation with algebraic effects · Hashan Punchihewa, Nicolas Wu
10. Seeking stability by being lazy and shallow: lazy and shallow instantiation is user friendly · Gert-Jan Bottu, Richard A. Eisenberg