| 2025 | A Clash Course in Solving Sudoku (Functional Pearl). Gergo Érdi |
| 2025 | A Tale of Two Lambdas: A Haskeller's Journey into OCaml (Keynote). Richard A. Eisenberg |
| 2025 | Automatic C Bindings Generation for Haskell. Travis Cardwell, Sam Derbyshire, Edsko de Vries, Dominik Schrempf |
| 2025 | Freer Arrows and Why You Need Them in Haskell. Grant VanDomelen, Gan Shen, Lindsey Kuper, Yao Li |
| 2025 | Join Points in Practice (Keynote). Simon Peyton Jones |
| 2025 | Lightweight Testing of Persistent Amortized Time Complexity in the Credit Monad. Anton Lorenzen |
| 2025 | Plinth: A Plugin-Powered Language Built on Haskell (Experience Report). Ziyang Liu, Kenneth MacKenzie, Roman Kireev, Michael Peyton Jones, Philip Wadler, Manuel M. T. Chakravarty |
| 2025 | Proceedings of the 18th ACM SIGPLAN International Haskell Symposium, Haskell 2025, Singapore, October 12-18, 2025 J. Garrett Morris, Ningning Xie |
| 2025 | Rebound: Efficient, Expressive, and Well-Scoped Binding. Noé De Santo, Stephanie Weirich |
| 2025 | Staging Automatic Differentiation with Fusion. Samuel Klumpers, Tom Schrijvers |
| 2025 | The Calculated Typer (Functional Pearl). Zac Garby, Patrick Bahr, Graham Hutton |
| 2025 | Total Type Classes. Robert Weingart, Nicolas Wu |