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

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

Publisher's Version

Papers

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

Publisher's Version

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

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

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

Publisher's Version

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

Publisher's Version Published Artifact Artifacts Available

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

Publisher's Version

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

Publisher's Version Info

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

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

Publisher's Version Published Artifact Artifacts Available

proc time: 0.77