corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0876f-4c26-725d-b9cc-e7e9c1dcb3ae

Reflections on ICFP 2025

dra27.uk · published 18 October 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at dra27.uk Wayback capture
2blogs citing
First cited
6 Oct 2025
Most recent
4 Dec 2025
Rank this month
not ranked
Links from this post
15
Words captured
1,843

Cited by

Blog
In the post
Date
tarides.com
ICFP 2025: Looking Back at the Biggest Functional Programming Conference of the Year Read at the source ↗
4 Dec 2025
anil.recoil.org
A Roundup of ICFP/SPLASH 2025 happenings Read at the source ↗
10 Oct 2025
anil.recoil.org
Jane Street and Docker on moving to OCaml 5 at ICFP/SPLASH 2025 Read at the source ↗
7 Oct 2025
anil.recoil.org
Holding an OxCaml tutorial at ICFP/SPLASH 2025 Read at the source ↗
6 Oct 2025

Links from this post

Link
Host
https://icfp25.sigplan.org/
icfp25.sigplan.org
https://conf.researchr.org/details/icfp-splash-2025/rebase-2025-papers/2/The-Saga-of-Multicore-OCaml
conf.researchr.org
https://www.youtube.com/watch?v=UI1wApT2t1w&list=PLyrlk8Xaylp5ihrTVeOSaylaBe4ZORkSI&t=20694s
youtube.com
https://oxcaml.org
oxcaml.org
https://github.com/ocaml/ocaml/pull/10831
github.com
https://github.com/ocaml/ocaml/blob/5.1.0/Changes
github.com
https://github.com/dra27/ocaml/tree/backported-trunk-to-5.1-20230929
github.com
https://github.com/ocaml/ocaml/commit/5000b93cad2d126d5949c952eb9a93e47bf901a8
github.com
https://conf.researchr.org/details/icfp-splash-2025/haskellsymp-2025-papers/2/-A-Tale-of-Two-Lambdas-A-Haskeller-s-Journey-into-OCaml
conf.researchr.org
https://icfp24.sigplan.org/details/icfp-2024-papers/19/Oxidizing-OCaml-with-Modal-Memory-Management
icfp24.sigplan.org
https://pldi18.sigplan.org/details/pldi-2018-papers/15/Bounding-Data-Races-in-Space-and-Time
pldi18.sigplan.org
https://ocaml.org/manual/5.4/api/Stdlib.Atomic.html
ocaml.org
https://popl25.sigplan.org/details/POPL-2025-popl-research-papers/23/Data-Race-Freedom-la-Mode
popl25.sigplan.org
https://github.com/janestreet/portable
github.com
https://2025.splashcon.org/details/OOPSLA/62/Modal-Effect-Types
2025.splashcon.org