A Mechanically Verified Garbage Collector for OCaml [pdf]

Comments

from Hacker News https://ift.tt/1mf5zAE

Comments