Data Race Freedom à la Mode

Added on 2025-03-16
Page: https://richarde.dev/papers/2025/drfcaml/drfcaml.pdf
See on Internet Archive
#pdf #ocaml

We present DRFCaml, an extension of OCaml’s type system that guarantees data race freedom for multithreaded OCaml programs while retaining backward compatibility with existing sequential OCaml code.