A Mechanically Verified Garbage Collector for OCaml (via rrampage) — discussion
#formalmethods #ml #pdf
