38 on this site · 0 links
On this siterelevancedate38
Three steps for OCaml to crest the AI humps1st Oct 2025#ai#conference#llms#ocaml#ocamllabsGenerating a corpus of Hazel programs from ill-typed OCaml programs1st Oct 2025#conference#fp#hazel#ocaml#ocamllabsSolving Package Management via Hypergraph Dependency Resolution1st Jun 2025#ocaml#ocamllabs#os#packaging#preprintState of the OCaml Platform 20231st Sep 2023#conference#devtools#ocaml#ocamllabsEio 1.0 – Effects-based IO for OCaml 51st Sep 2023#conference#effects#ocaml#ocamllabs#systemsReal 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#conference#effects#multicore#ocaml#ocamllabsRetrofitting effect handlers onto OCaml1st Jun 2021#conference#effects#fp#multicore#ocamlBanyan: Coordination-Free Distributed Transactions over Mergeable Types1st Nov 2020#conference#distributed#fp#irmin#mirageosThe OCaml Platform: 20201st Sep 2020#conference#devtools#ocaml#ocamllabsParallelising your OCaml Code with Multicore OCaml1st Aug 2020#conference#effects#fp#multicore#ocamlOCaml-CI: A Zero-Configuration CI1st Aug 2020#conference#devtools#ocaml#ocamllabsRetrofitting parallelism onto OCaml1st Aug 2020#award#effects#fp#journal#multicoreThe OCaml Platform in 20191st Aug 2019#conference#devtools#ocaml#ocamllabsMirageOS 4: the dawn of practical build systems for exotic targets1st Aug 2019#conference#devtools#mirageos#ocaml#ocamllabsProgramming Unikernels in the Large via Functor Driven Development1st May 2019#mirageos#ocaml#ocamllabs#preprint#unikernelsA modular foreign function interface1st Oct 2018#ffi#journal#ocaml#ocamllabs#stagedBounding data races in space and time1st Jun 2018#conference#fp#memory#multicore#ocamlConcurrent System Programming with Effect Handlers1st Apr 2018#conference#effects#fp#multicore#ocaml