17:01

[OCaml24] B · o · B, a universal & secure file-transfer software in OCaml

ACM SIGPLAN

19:10

[OCaml24] ChorCaml: Functional Choreographic Programming in OCaml

ACM SIGPLAN

17:34

[OCaml24] Recursion schemes in OCaml: An experience report

ACM SIGPLAN

24:18

[OCaml24] Opam 2.2 and beyond

ACM SIGPLAN

24:28

[OCaml24] Saturn: a library of verified concurrent data structures for OCaml 5

ACM SIGPLAN

25:13

[OCaml24] Priodomainslib: Prioritized Fine-grained Parallelism for Multicore OCaml

ACM SIGPLAN

17:56

[OCaml24] Distributed Actors in OCaml

ACM SIGPLAN

25:23

[OCaml24] Picos — Interoperable effects based concurrency

ACM SIGPLAN

21:56

[OCaml24] First-Class Windows: Building a Roadmap for OCaml on Windows

ACM SIGPLAN

20:25

[OCaml24] Mica: Automated Differential Testing for OCaml Modules

ACM SIGPLAN

21:31

[OCaml24] Project-wide occurrences for OCaml, a progress report

ACM SIGPLAN

23:02

[OCaml24] Structured diagnostics for the OCaml compiler

ACM SIGPLAN

21:08

[OCaml24] Mixed Blocks: Storing More Fields Flat

ACM SIGPLAN

21:51

[OCaml24] A Non-allocating Option

ACM SIGPLAN

19:20

[OCaml24] Flambda2 Validator

ACM SIGPLAN

23:52

[OCaml24] On the design and implementation of Modular Explicits

ACM SIGPLAN