Get the latest tech news

A mechanically verified garbage collector for OCaml [pdf]


None

Get the Android app

Or read this on Hacker News

Read more on:

Photo of ocaml

ocaml

Related news:

News photo

A better build system for OCaml

News photo

8 months of OCaml after 8 years of Haskell in production (2023)

News photo

Higher-kinded bounded polymorphism in OCaml (2021)