Abstract is missing.
- Deadlock-free session types in linear HaskellWen Kokke, Ornela Dardha. 1-13 [doi]
- Evaluating linear functions to symmetric monoidal categoriesJean-Philippe Bernardy, Arnaud Spiwack. 14-26 [doi]
- Graded monads and type-level programming for dependence analysisFinnbar Keating, Michael B. Gale. 27-40 [doi]
- Haskell⁻¹: automatic function inversion in HaskellFinn Teegen, Kai-Oliver Prott, Niels Bunkenburg. 41-55 [doi]
- Practical normalization by evaluation for EDSLsNachiappan Valliappan, Alejandro Russo, Sam Lindley. 56-70 [doi]
- Design patterns for parser combinators (functional pearl)Jamie Willis, Nicolas Wu. 71-84 [doi]
- Seeking stability by being lazy and shallow: lazy and shallow instantiation is user friendlyGert-Jan Bottu, Richard A. Eisenberg. 85-97 [doi]
- Express: applications of dynamically typed Haskell expressionsRudy Matela. 98-109 [doi]
- Chesskell: a two-player game at the type levelToby Bailey, Michael B. Gale. 110-121 [doi]
- Safe mutation with algebraic effectsHashan Punchihewa, Nicolas Wu. 122-135 [doi]