Haskell 2026

8 papers

1. A Cost-Aware Probability Monad for Liquid Haskell · Matthias Hetzenberger, Georg Moser, Florian Zuleger
2. CloudMicroHaskell: Direct-Style Distributed Haskell via Runtime Graph Serialisation · Robert Krook, Lennart Augustsson
3. Coercive Subtyping for Implicit Functorial Programming · Ryan Doenges, Caden Parajuli, Ayden Lamparski, Ke Wu, Aaron Stump
4. Evaluating Shrinking (Experience Report) · Alperen Keles, George Miao, Leonidas Lampropoulos
5. The Next 700 Block-Based Editors (Keynote) · Ravi Chugh
6. Tikka: An Interpreter and Debugger for a Pedagogical Subset of Haskell · Alex Hobbs, Alex Dixon
7. Turning Parser Errors into Suggestions for REPL-Driven DSLs (Functional Pearl) · Matthías Páll Gissurarson, Elisabet Lobo Vesga, Alejandro Russo
8. What Have We Learned about Dependently Typed Programming from Haskell? (Keynote) · Stephanie Weirich