66 on this site · 289 links
On this siterelevancedate66
The FP Launchpad takes off at IIT Madras13th Apr 2026#education#fp#india#ocaml#oxcamlPROPL poster session at ICFP/SPLASH banquet22nd Oct 2025#conference#fp#programming-languagesGenerating a corpus of Hazel programs from ill-typed OCaml programs1st Oct 2025#conference#fp#hazel#ocaml#ocamllabsTeaching at Cambridge3rd Jan 2025#cambridge#cloud#compsci#computerlab#distributedOxCaml Labs1st Jan 2025#fp#ocaml#oxcaml#packages#systemsParallel traversal effect handlers for OCaml1st Sep 2024#effects#fp#multicore#ocaml#schedulingImplementing a higher-order choreographic language1st Aug 2024#consensus#distributed#fp#ocamlProgramming for the Planet27th May 2024#:plancomp#biodiversity#fp#interview#ocamlFunctional Programming for the Planet5th Sep 2023#biodiversity#climate#conservation#fp#icfpFunctional Programming for the Planet5th Sep 2023#biodiversity#forests#fp#icfp#keynoteEio 1.0 – Effects-based IO for OCaml 51st Sep 2023#concurrency#effects#eio#fp#ocamlReal World OCaml: Functional Programming for the Masses1st Oct 2022#book#fp#ocaml#ocamllabsHomogeneous Builds with OBuilder and OCaml1st Sep 2022#conference#devtools#fp#ocaml#ocamllabsExperiences with Effects1st Aug 2021#effect-handlers#fp#ocaml#programming-languagesRetrofitting effect handlers onto OCaml1st Jun 2021#effect-handlers#fp#ocaml#programming-languagesRetrofitting effect handlers onto OCaml1st Jun 2021#conference#effects#fp#multicore#ocamlBanyan: Coordination-Free Distributed Transactions over Mergeable Types1st Nov 2020#conference#distributed#fp#irmin#mirageosParallelising your OCaml Code with Multicore OCaml1st Aug 2020#fp#multicore#ocaml#parallel#systemsParallelising your OCaml Code with Multicore OCaml1st Aug 2020#conference#effects#fp#multicore#ocamlRetrofitting parallelism onto OCaml1st Aug 2020#fp#gc#multicore#ocaml#systems