A Verified Generational GC for OCaml

 (risemsr.github.io)

1 points | by matt_d 3 hours ago

0 comments