20:12

[OCaML'23] Eio 1.0 – Effects-based IO for OCaml 5

ACM SIGPLAN

19:32

[OCaML'23] Modern DSL compiler architecture in OCaml our experience with Catala

ACM SIGPLAN

18:56

[OCaML'23] Runtime Detection of Data Races in OCaml with ThreadSanitizer

ACM SIGPLAN

23:17

[OCaML'23] Targeted Static Analysis for OCaml C Stubs: Eliminating gremlins from the code

ACM SIGPLAN

22:19

[OCaML'23] Efficient OCaml compilation with Flambda 2

ACM SIGPLAN

19:54

[OCaML'23] Less Power for More Learning: Restricting OCaml Features for Effective Teaching

ACM SIGPLAN

25:35

[OCaML'23] Buck2 for OCaml Users & Developers

ACM SIGPLAN

21:45

[OCaML'23] Building a lock-free STM for OCaml

ACM SIGPLAN

22:50

[OCaML'23] Parallel Sequences in Multicore OCaml

ACM SIGPLAN

22:23

[OCaML'23] State of the OCaml Platform 2023

ACM SIGPLAN

28:51

[OCaML'23] MetaOCaml Theory and Implementation

ACM SIGPLAN

25:34

[OCaML'23] Owi: an interpreter and a toolkit for WebAssembly written in OCaml

ACM SIGPLAN

20:49

[OCaML'23] Osiris: an Iris-based program logic for OCaml

ACM SIGPLAN