ICFP/SPLASH 2025 (series) / Haskell 2025 (series) /
Haskell 2025 Program
This is the Haskell 2025 program - see the full program for ICFP/SPLASH 2025 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Thu 16 OctDisplayed time zone: Perth change
Thu 16 Oct
Displayed time zone: Perth change
10:30 - 12:15 | |||
10:30 5mDay opening | Welcome Haskell | ||
10:35 30mResearch paper | Freer Arrows and Why You Need Them in Haskell Haskell Grant VanDomelen Portland State University, USA, Gan Shen University of California at Santa Cruz, Lindsey Kuper University of California, Santa Cruz, Yao Li Portland State University DOI Pre-print | ||
11:05 30mResearch paper | Lightweight Testing of Persistent Amortized Time Complexity in the Credit Monad Haskell Anton Lorenzen University of Edinburgh DOI | ||
11:35 30mResearch paper | The Calculated Typer (Functional Pearl) Haskell Zac Garby University of Nottingham, Patrick Bahr IT University of Copenhagen, Graham Hutton University of Nottingham | ||
13:45 - 15:30 | |||
13:45 70mKeynote | Join points in practiceKeynote Haskell Simon Peyton Jones Epic Games | ||
15:00 30mResearch paper | Automatic C bindings generation for Haskell Haskell Travis Cardwell Well-Typed LLP, Sam Derbyshire Well-Typed LLP, Edsko de Vries Well-Typed LLP, Dominik Schrempf Well-Typed LLP | ||
16:00 - 17:30 | |||
16:00 30mResearch paper | A Clash Course in Solving Sudoku (Functional Pearl) Haskell Gergő Érdi Standard Chartered Bank Pre-print | ||
16:30 30mResearch paper | Staging Automatic Differentiation with Fusion Haskell | ||
Fri 17 OctDisplayed time zone: Perth change
Fri 17 Oct
Displayed time zone: Perth change
10:30 - 12:15 | |||
10:30 30mResearch paper | Rebound: Efficient, expressive, and well-scoped binding Haskell Link to publication DOI Pre-print | ||
11:00 30mResearch paper | Total Type Classes Haskell | ||
11:30 20mTalk | Four Years of Embedded Haskell in Critical Real-Time Systems: Lessons and Insights Haskell | ||
11:50 20mTalk | Haskell equations, thirty-eight years later Haskell Philip Wadler IOG; University of Edinburgh | ||
13:45 - 15:30 | |||
13:45 70mKeynote | A Tale of Two Lambdas: A Haskeller's Journey into OCamlKeynote Haskell Richard A. Eisenberg Jane Street | ||
15:00 30mResearch paper | Plinth: A Plugin-Powered Language Built on Haskell (Experience Report) Haskell Ziyang Liu Input Output, USA, Kenneth MacKenzie Input Output, United Kingdom, Roman Kireev Input Output, United Kingdom, Michael Peyton Jones Input Output, United Kingdom, Philip Wadler IOG; University of Edinburgh, Manuel M. T. Chakravarty IOHK | ||
16:00 - 17:30 | |||
16:00 20mTalk | [CANCELED] Adaptive Search Synthesis as a Recursion Scheme Haskell Lucas Bang Harvey Mudd College, Xuehuai He Yale University, Eli Pregerson Stony Brook University, Jimmy Chen Stanford University, Emma Gandonou Pomona College | ||
16:20 20mTalk | Derive class instances topdown and derive ttg automatically Haskell Song Zhang None | ||
16:40 20mTalk | Machine Learning Primitives as Algebraic Effects Haskell | ||
17:00 20mTalk | typedKanren: Statically Typed Relational Programming with Exhaustive Matching in HaskellRemote Haskell Pre-print File Attached | ||
17:20 5mDay closing | Chair's report Haskell | ||