Haskell 2025

11 papers

1. A Clash Course in Solving Sudoku (Functional Pearl) · Gergo Érdi
2. A Tale of Two Lambdas: A Haskeller's Journey into OCaml (Keynote) · Richard A. Eisenberg
3. Automatic C Bindings Generation for Haskell · Travis Cardwell, Sam Derbyshire, Edsko de Vries, Dominik Schrempf
4. Freer Arrows and Why You Need Them in Haskell · Grant VanDomelen, Gan Shen, Lindsey Kuper, Yao Li
5. Join Points in Practice (Keynote) · Simon Peyton Jones
6. Lightweight Testing of Persistent Amortized Time Complexity in the Credit Monad · Anton Lorenzen
7. 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
8. Rebound: Efficient, Expressive, and Well-Scoped Binding · Noé De Santo, Stephanie Weirich
9. Staging Automatic Differentiation with Fusion · Samuel Klumpers, Tom Schrijvers
10. The Calculated Typer (Functional Pearl) · Zac Garby, Patrick Bahr, Graham Hutton
11. Total Type Classes · Robert Weingart, Nicolas Wu