ICFP 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025
ICFP/SPLASH 2025 (series) / ICFP 2025 (series) / Marina Bay Sands Convention Centre /

Room information: Peony SW

VenueMarina Bay Sands Convention Centre
Room namePeony SW
Floor4
Room number4511
Capacity80
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 16 Oct

Displayed time zone: Perth change

10:30 - 12:15
Types and monadsHaskell at Peony SW
Chair(s): Liam O'Connor Australian National University
10:30
5m
Day opening
Welcome
Haskell
Ningning Xie University of Toronto, J. Garrett Morris University of Iowa
10:35
30m
Research 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
Pre-print
11:05
30m
Research paper
Lightweight Testing of Persistent Amortized Time Complexity in the Credit Monad
Haskell
Anton Lorenzen University of Edinburgh
Pre-print
11:35
30m
Research 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
Keynote + Research paperHaskell at Peony SW
Chair(s): Arnaud Spiwack Tweag
13:45
70m
Keynote
Join points in practiceKeynote
Haskell
Simon Peyton Jones Epic Games
15:00
30m
Research 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
CompilerHaskell at Peony SW
16:00
30m
Research paper
A Clash Course in Solving Sudoku (Functional Pearl)
Haskell
Gergő Érdi Standard Chartered Bank
Pre-print
16:30
30m
Research paper
Staging Automatic Differentiation with Fusion
Haskell
Samuel Klumpers KU Leuven, Belgium, Tom Schrijvers KU Leuven
17:00
20m
Talk
typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
Haskell
Nikolai Kudasov Innopolis University, Artem Starikov Innopolis University

Fri 17 Oct

Displayed time zone: Perth change

10:30 - 12:15
Language designHaskell at Peony SW
Chair(s): Gergő Érdi Standard Chartered Bank
10:30
30m
Research paper
Rebound: Efficient, expressive, and well-scoped binding
Haskell
Noé De Santo University of Pennsylvania, Stephanie Weirich University of Pennsylvania
Pre-print
11:00
30m
Research paper
Total Type Classes
Haskell
Robert Weingart Imperial College London, Nicolas Wu Imperial College London
11:30
20m
Talk
Four Years of Embedded Haskell in Critical Real-Time Systems: Lessons and Insights
Haskell
Justin Le
11:50
20m
Talk
Haskell equations, thirty-eight years later
Haskell
Philip Wadler University of Edinburgh
13:45 - 15:30
Keynote + Research paperHaskell at Peony SW
13:45
70m
Keynote
 A Tale of Two Lambdas: A Haskeller's Journey into OCamlKeynote
Haskell
Richard A. Eisenberg Jane Street
15:00
30m
Research 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 University of Edinburgh, Manuel M. T. Chakravarty IOHK
16:00 - 17:30
TalksHaskell at Peony SW
16:00
20m
Talk
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
20m
Talk
Derive class instances topdown and derive ttg automatically
Haskell
Song Zhang None
16:40
20m
Talk
Machine Learning Primitives as Algebraic Effects
Haskell
Justin Le
17:00
5m
Day closing
Chair's report
Haskell
Ningning Xie University of Toronto, J. Garrett Morris University of Iowa

Sat 18 Oct

Displayed time zone: Perth change

10:30 - 12:15
REBASEREBASE at Peony SW
Chair(s): Filip Křikava Czech Technical University in Prague, Ben L. Titzer Carnegie Mellon University
10:30
65m
Talk
Carbon: from C++ to Memory Safety
REBASE
Chandler Carruth Google
11:40
35m
Talk
From Facts to Theories: Deductive Databases with Mangle Datalog
REBASE
Burak Emir Google
13:45 - 15:30
REBASEREBASE at Peony SW
Chair(s): Filip Křikava Czech Technical University in Prague, Ben L. Titzer Carnegie Mellon University
13:45
65m
Talk
On creating a virtual machine for Verse, a language for programming in a shared real-time 3D simulation
REBASE
Saam Barati Epic Games
14:55
35m
Talk
ZJIT: Building a New JIT Compiler for Ruby
REBASE
Takashi Kokubun Shopify
16:00 - 17:30
REBASEREBASE at Peony SW
Chair(s): Filip Křikava Czech Technical University in Prague, Ben L. Titzer Carnegie Mellon University
16:00
60m
Talk
The Saga of Multicore OCaml
REBASE
Yaron Minsky

Thu 16 Oct

Displayed time zone: Perth change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Peony SW

Haskell

Types and monads

Haskell

Keynote + Research paper

Haskell

Compiler

Fri 17 Oct

Displayed time zone: Perth change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Peony SW

Haskell

Language design

Haskell

Keynote + Research paper

Haskell

Talks

Sat 18 Oct

Displayed time zone: Perth change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Peony SW

REBASE

REBASE

REBASE

REBASE

REBASE

REBASE

Thu 16 Oct

Displayed time zone: Perth change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Peony SW
Haskell
Welcome
10:30 - 10:35
Haskell
Freer Arrows and Why You Need Them in Haskell
10:35 - 11:05
Haskell
Lightweight Testing of Persistent Amortized Time Complexity in the Cred ...
11:05 - 11:35
Haskell
The Calculated Typer (Functional Pearl)
11:35 - 12:05
HaskellKeynote
Join points in practice
13:45 - 14:55
Haskell
Automatic C bindings generation for Haskell
15:00 - 15:30
Haskell
A Clash Course in Solving Sudoku (Functional Pearl)
16:00 - 16:30
Haskell
Staging Automatic Differentiation with Fusion
16:30 - 17:00
Haskell
typedKanren: Statically Typed Relational Programming with Exhaustive Ma ...
17:00 - 17:20

Fri 17 Oct

Displayed time zone: Perth change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Peony SW
Haskell
Rebound: Efficient, expressive, and well-scoped binding
10:30 - 11:00
Haskell
Total Type Classes
11:00 - 11:30
Haskell
Four Years of Embedded Haskell in Critical Real-Time Systems: Lessons a ...
11:30 - 11:50
Haskell
Haskell equations, thirty-eight years later
11:50 - 12:10
HaskellKeynote
A Tale of Two Lambdas: A Haskeller's Journey into OCaml
13:45 - 14:55
Haskell
Plinth: A Plugin-Powered Language Built on Haskell (Experience Report)
15:00 - 15:30
Haskell
Adaptive Search Synthesis as a Recursion Scheme
16:00 - 16:20
Haskell
Derive class instances topdown and derive ttg automatically
16:20 - 16:40
Haskell
Machine Learning Primitives as Algebraic Effects
16:40 - 17:00
Haskell
Chair's report
17:00 - 17:05

Sat 18 Oct

Displayed time zone: Perth change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Peony SW
REBASE
Carbon: from C++ to Memory Safety
10:30 - 11:35
REBASE
From Facts to Theories: Deductive Databases with Mangle Datalog
11:40 - 12:15
REBASE
On creating a virtual machine for Verse, a language for programming in ...
13:45 - 14:50
REBASE
ZJIT: Building a New JIT Compiler for Ruby
14:55 - 15:30
REBASE
The Saga of Multicore OCaml
16:00 - 17:00