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 (type: Keynote) doi:10.1145/3759164.3771263

Join points in practice: Recorded video presentation of "Join points in practice". Presentation at the Haskell 2025 symposium, October 15, 2025, https://conf.researchr.org/home/icfp-splash-2025/haskellsymp-2025

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 (type: Keynote) 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 (type: Full Paper) doi:10.1145/3759164.3759345

A Clash Course in Solving Sudoku (Functional Pearl): Recorded video presentation of "A Clash Course in Solving Sudoku (Functional Pearl)". Presentation at the Haskell 2025 symposium, October 15, 2025, https://conf.researchr.org/home/icfp-splash-2025/haskellsymp-2025

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 (type: Full Paper) doi:10.1145/3759164.3759346

	The Calculated Typer (Functional Pearl): Recorded video presentation of "The Calculated Typer (Functional Pearl)". Presentation at the Haskell 2025 symposium, October 15, 2025, https://conf.researchr.org/home/icfp-splash-2025/haskellsymp-2025
	Haskell and Agda code for the article "The Calculated Typer" (doi:10.5281/zenodo.16751640): Haskell and Agda code for the article "The Calculated Typer"

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 (type: Full Paper (7 pages + references)) doi:10.1145/3759164.3759347

Plinth: A Plugin-Powered Language Built on Haskell (Experience Report): Recorded video presentation of "Plinth: A Plugin-Powered Language Built on Haskell (Experience Report)". Presentation at the Haskell 2025 symposium, October 15, 2025, https://conf.researchr.org/home/icfp-splash-2025/haskellsymp-2025

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

Publisher's Version Article: splashws25haskellmain-p8-p (type: Full Paper) doi:10.1145/3759164.3759348

Rebound: Efficient, expressive, and well-scoped binding: Recorded video presentation of "Rebound: Efficient, expressive, and well-scoped binding". Presentation at the Haskell 2025 symposium, October 15, 2025, https://conf.researchr.org/home/icfp-splash-2025/haskellsymp-2025

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

Publisher's Version Published Artifact Artifacts Available Article: splashws25haskellmain-p9-p (type: Full Paper) doi:10.1145/3759164.3759349

	Total Type Classes: Recorded video presentation of "Total Type Classes". Presentation at the Haskell 2025 symposium, October 15, 2025, https://conf.researchr.org/home/icfp-splash-2025/haskellsymp-2025
	Total Type Classes Plugin (doi:10.1145/3747404): Source code for the GHC plugin described in the paper, which verifies the totality of a quantified constraints and automatically inserts missing constraints if their totality is known. A test suite is also included, which demonstrates how various use cases are handled.

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 (type: Full Paper) doi:10.1145/3759164.3759350

Automatic C bindings generation for Haskell: Recorded video presentation of "Automatic C bindings generation for Haskell". Presentation at the Haskell 2025 symposium, October 15, 2025, https://conf.researchr.org/home/icfp-splash-2025/haskellsymp-2025

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 (type: Full Paper) doi:10.1145/3759164.3759351

Lightweight Testing of Persistent Amortized Time Complexity in the Credit Monad: Recorded video presentation of "Lightweight Testing of Persistent Amortized Time Complexity in the Credit Monad". Presentation at the Haskell 2025 symposium, October 15, 2025, https://conf.researchr.org/home/icfp-splash-2025/haskellsymp-2025

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 (type: Full Paper) doi:10.1145/3759164.3759352

	Appendix: The appendix of this paper.
	Freer Arrows and Why You Need Them in Haskell: Recorded video presentation of "Freer Arrows and Why You Need Them in Haskell". Presentation at the Haskell 2025 symposium, October 15, 2025, https://conf.researchr.org/home/icfp-splash-2025/haskellsymp-2025
	Freer Arrows (doi:10.5281/zenodo.16784315): No description provided.

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

Publisher's Version Published Artifact Artifacts Available Article: splashws25haskellmain-p17-p (type: Full Paper) doi:10.1145/3759164.3759353

	Appendices for Staging Automatic Differentiation with Fusion: Appendices for Staging Automatic Differentiation with Fusion
	Staging Automatic Differentiation with Fusion: Recorded video presentation of "Staging Automatic Differentiation with Fusion". Presentation at the Haskell 2025 symposium, October 15, 2025, https://conf.researchr.org/home/icfp-splash-2025/haskellsymp-2025
	Library for Staging Automatic Differentiation with Fusion (doi:10.1145/3747405): This library contains the supporting code for the Staging Automatic Differentiation with Fusion paper, including the implementation of the compilers described in the paper, code for the benchmarks, and a proof of the quote-fusion theorem formalized in Agda.

proc time: 0.03