Property-Based Testing of OCaml 5's Runtime System [pdf]

https://janmidtgaard.dk/papers/Midtgaard%3AOLIVIERFEST25.pdf

#HackerNews #PropertyBasedTesting #OCaml5 #RuntimeSystem #SoftwareTesting #FunctionalProgramming