SPLASH Workshop/Symposium Events 2025
2025 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Events 2025)
Powered by
Conference Publishing Consulting

18th ACM SIGPLAN International Haskell Symposium (Haskell 2025), October 12–18, 2025, Singapore, Singapore

Haskell 2025 – Proceedings

Contents - Abstracts - Authors

18th ACM SIGPLAN International Haskell Symposium (Haskell 2025)

Frontmatter

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

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