[ICFP'24] Orange 2 - OCaml (Sep 7th)

[remyjck]

39:31 On the design and implementation of Modular Explicits - Samuel Vivien
1:02:30 Flambda2 Validator - Irene Yoon
1:22:34 A Non-allocating Option - Richard A. Eisenberg
1:44:59 Mixed Blocks: Storing More Fields Flat - Nick Roberts

2:38:09 Structured diagnostics for the OCaml compiler - Florian Angeletti
3:02:23 Project-wide occurrences, a progress report - Ulysse Gerard
3:24:23 Mica: Automated Differential Testing for OCaml Modules - Ernest Ng
3:45:27 First-Class Windows: Building a Roadmap for OCaml on Windows - Sudha Parimala

5:35:31 Picos: Interoperable Effects Based Concurrency for OCaml - Vesa Karvonen
6:02:20 Distributed Actors in OCaml - Wenke Du
6:20:49 Priodomainslib: Prioritized Fine-grained Parallelism for Multicore OCaml - Stefan K Muller
6:46:37 Saturn: a library for verified concurrent data structures for OCaml 5 - Carine Morel & Clement Allain

7:37:01 opam 2.2 and beyond - David Allsopp
8:01:34 Recursion schemes in OCaml: An experience report - Tim Williams
8:22:52 ChorCaml: Functional Choreographic Programming in OCaml - Rokas Urbonas
8:43:25 B.o.B A universal peer to peer file-transfer in OCaml - Romain Calascibetta

[annusingh]

Thanks for the video & its bookmarks 🙏