Lobsters

ACM

Comments

Lobsters

Data race freedom in OxCaml · KC Sivaramakrishnan

A while back I wired up x-ocaml so this blog could embed live, editable OCaml notebooks. That post used a vanilla OCaml 5 toplevel. Today the toplevel running in your browser is built from OxCaml, the Jane Street fork of the compiler. That means we can...

More stories

More stories load automatically as you scroll.