Haskell 2025 – Proceedings

18th ACM SIGPLAN International Haskell Symposium (Haskell 2025)

Frontmatter

Keynotes

Join Points in Practice (Keynote)
Simon Peyton Jones
(Epic Games, UK)

Publisher's Version Article: splashws25haskellmain-key1-p doi:10.1145/3759164.3771263

A Tale of Two Lambdas: A Haskeller’s Journey into OCaml (Keynote)
Richard A. Eisenberg
(Jane Street, USA)

Publisher's Version Article: splashws25haskellmain-key2-p doi:10.1145/3759164.3771264

Papers

A Clash Course in Solving Sudoku (Functional Pearl)
Gergő Érdi
(Independent, Singapore)

Publisher's Version Article: splashws25haskellmain-p1-p doi:10.1145/3759164.3759345

The Calculated Typer (Functional Pearl)
Zac Garby, Patrick Bahr, and Graham Hutton
(University of Nottingham, UK; IT University of Copenhagen, Denmark)

Publisher's Version Published Artifact Artifacts Available Article: splashws25haskellmain-p6-p doi:10.1145/3759164.3759346

Plinth: A Plugin-Powered Language Built on Haskell (Experience Report)
Ziyang Liu, Kenneth MacKenzie, Roman Kireev, Michael Peyton Jones, Philip Wadler, and Manuel Chakravarty
(Input Output, USA; Input Output, UK; Input Output, Netherlands)

Publisher's Version Article: splashws25haskellmain-p7-p doi:10.1145/3759164.3759347

Rebound: Efficient, Expressive, and Well-Scoped Binding
Noé De Santo and Stephanie Weirich
(University of Pennsylvania, USA)

Publisher's Version Article: splashws25haskellmain-p8-p doi:10.1145/3759164.3759348

Total Type Classes
Robert Weingart and Nicolas Wu
(Imperial College London, UK)

Publisher's Version Published Artifact Artifacts Available Article: splashws25haskellmain-p9-p doi:10.1145/3759164.3759349

Automatic C Bindings Generation for Haskell
Travis Cardwell, Sam Derbyshire, Edsko de Vries, and Dominik Schrempf
(Well-Typed, UK)

Publisher's Version Article: splashws25haskellmain-p10-p doi:10.1145/3759164.3759350

Lightweight Testing of Persistent Amortized Time Complexity in the Credit Monad
Anton Lorenzen
(University of Edinburgh, UK)

Publisher's Version Info Article: splashws25haskellmain-p11-p doi:10.1145/3759164.3759351

Freer Arrows and Why You Need Them in Haskell
Grant VanDomelen, Gan Shen, Lindsey Kuper, and Yao Li
(Portland State University, USA; University of California at Santa Cruz, USA)

Publisher's Version Published Artifact Artifacts Available Article: splashws25haskellmain-p13-p doi:10.1145/3759164.3759352

Staging Automatic Differentiation with Fusion
Samuel Klumpers and Tom Schrijvers
(KU Leuven, Belgium)

Publisher's Version Published Artifact Artifacts Available Article: splashws25haskellmain-p17-p doi:10.1145/3759164.3759353

proc time: 0.03