Haskell 2026 – Preliminary Table of Contents

19th ACM SIGPLAN International Haskell Symposium (Haskell 2026)

Frontmatter

19th ACM SIGPLAN International Haskell Symposium (Haskell 2026) Papers

Evaluating Shrinking (Experience Report)
Alperen Keles, George Miao, and Leonidas Lampropoulos
(University of Maryland, College Park, USA)

Article Search Article: icfpws26haskellmain-p4-p doi:10.1145/3830439.3831271

CloudMicroHaskell: Direct-Style Distributed Haskell via Runtime Graph Serialisation
Robert Krook and Lennart Augustsson
(Chalmers University of Technology and University of Gothenburg, Sweden; Unaffiliated, Sweden)

Article Search Article: icfpws26haskellmain-p8-p doi:10.1145/3830439.3831272

Coercive Subtyping for Implicit Functorial Programming
Ryan Doenges, Caden Parajuli, Ayden Lamparski, Ke Wu, and Aaron Stump
(Boston College, USA; Johns Hopkins University, USA)

Article Search Artifacts Available Article: icfpws26haskellmain-p23-p doi:10.1145/3830439.3831273

Tikka: An Interpreter and Debugger for a Pedagogical Subset of Haskell
Alex Hobbs and Alex Dixon
(University of Warwick, UK)

Article Search Article: icfpws26haskellmain-p48-p doi:10.1145/3830439.3831274

Turning Parser Errors into Suggestions for REPL-Driven DSLs (Functional Pearl)
Matthías Páll Gissurarson, Elisabet Lobo-Vesga, and Alejandro Russo
(DPella, Gothenburg, Sweden; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden)

Article Search Artifacts Available Article: icfpws26haskellmain-p69-p doi:10.1145/3830439.3831275

A Cost-Aware Probability Monad for Liquid Haskell
Matthias Hetzenberger, Georg Moser, and Florian Zuleger
(TU Wien, Austria; University of Innsbruck, Austria; TU München, Germany)

Article Search Artifacts Available Article: icfpws26haskellmain-p90-p doi:10.1145/3830439.3831276

19th ACM SIGPLAN International Haskell Symposium (Haskell 2026)

proc time: 0.02