Highlights from ICFP/SPLASH 2025 including Hazel live programming, OCaml AI tooling, formally verified GC, and cross-community discussions between Haskell and OCaml.
Anil Madhavapeddy, Richard Mortier et al. — Proceedings of the 18th international conference on architectural support for programming languages and operating systems (ASPLOS)