ICFP 2026 Co-Located Events
ICFP 2026 Co-Located Events
Powered by
Conference Publishing Consulting
19th ACM SIGPLAN International Haskell Symposium (Haskell 2026), August 24–29, 2026, Indianapolis, IN, USA

Haskell 2026 – Preliminary Table of Contents

 Contents - Abstracts - Authors

19th ACM SIGPLAN International Haskell Symposium (Haskell 2026)

Frontmatter

Title Page
Article: icfpws26haskellforeword-fm000-p doi:
Welcome from the Chairs
Article: icfpws26haskellforeword-fm001-p doi:
Haskell 2026 Organization
Article: icfpws26haskellforeword-fm002-p doi:

Keynotes

The Next 700 Block-Based Editors (Keynote)
Ravi Chugh
(University of Chicago, USA)
Publisher's Version Article: icfpws26haskellmain-key1-p doi:10.1145/3830439.3839120
What Have We Learned about Dependently Typed Programming from Haskell? (Keynote)
Stephanie Weirich
(University of Pennsylvania, USA)
Publisher's Version Article: icfpws26haskellmain-key2-p doi:10.1145/3830439.3839121

Papers

Evaluating Shrinking (Experience Report)
Alperen Keles, George Miao, and Leonidas Lampropoulos
(University of Maryland, College Park, USA)
Publisher's Version 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)
Publisher's Version 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)
Publisher's Version Published Artifact 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)
Publisher's Version 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)
Publisher's Version Published Artifact 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)
Publisher's Version Published Artifact Artifacts Available Article: icfpws26haskellmain-p90-p doi:10.1145/3830439.3831276

proc time: 0.02