Tootfinder

Gergő Érdi presenting his Functional Pearl: A Clash Course in Solving Sudoku (Haskell 2025) #icfpsplash25

Final ICFP keynote on Proof-Carrying Neuro-Symbolic Code by Ekaterina Komendantskaya
#icfpsplash25
https://share.google/G4C1iRyA0qE5m5Mi2

Fascinating talk on
Type Theory in Type Theory using a Strictified Syntax
Presented by Ambrus Kaposi, joint work with Loïc Pujet.
#icfpsplash25

Some interesting magic with pullbacks:
Fulls Seldom Differ,
Presented by Craig Roy, joint work with
Mark Koch, Alan Lawrence, Conor McBride @…
#icfpsplash25

"McTT: A Verified Kernel for a Proof Assistant"
Presentation by Junyoung Jang, joint work with Antoine Gaulin, Jason Z. S. Hu, Brigitte Pientka.
Repo: https://github.com/Beluga-lang/McTT/tree/icfp25

Shin-Cheng Mu's talk on sublist computations. #icfpsplash25
Bottom-up computation using trees of sublists (ICFP 2025 - JFP First Papers) - ICFP 2025 https://share.google/m69wPqFDASztAiCnB

Fascinating talk on "Compiling with Generating Functions"
Presented by Jianlin Li, joint work with Yizhou Zhang.
#icfpsplash25

#icfpsplash25 ... And now Satnam Singh @… with the first ICFP 2025 keynote.

#icfpsplash25 Journal of Functional Programming leaves Cambridge University Press and become "scientist owned".

#icfpsplash25 welcome by Ilya Sergey!

First PROPL 2025 talk: Bridging disciplinary gaps in climate research.
Presented by Christian Urlea.
#icfpsplash25

PROPL - Workshop on Programming for the Planet welcome by Dominic Orchard @… #icfpsplash25

0:th day of the #icfpsplash25 week starts at NUS School of computing, on Computing Drive. (A glorious tree symbolising all the syntax trees we will see during the week;-)