14 on this site · 157 links
The 3rd Programming for the Planet 2026 videos are available28th Aug 2026
AoAH Day 19: Zulip bot framework to bring Vicuna the friendly camel back19th Dec 2025
AoAH Day 18: TOML 1.1 codecs directly from the spec and paper18th Dec 2025
What I learnt at ICFP/SPLASH 2025 about OCaml, Hazel and FP9th Oct 2025
It's time to go post-POSIX at ICFP/SPLASH 20258th Oct 2025
Programming for the Planet at ICFP/SPLASH 20255th Oct 2025
Bidirectional type slicing1st Oct 2025
2nd Programming for the Planet workshop CFP out3rd Apr 2025
Runtimes à la carte: crossloading native and bytecode OCaml1st Apr 2025Bidirectional Hazel to OCaml programming1st Apr 2025Effects based scheduling for the OCaml compiler pipeline1st Apr 2025
Being on the HotNets 2024 program committee22nd Sep 2024Gradually debugging type errors1st Sep 2024An imperative, pure and effective specification language1st Aug 2024