A mechanically verified garbage collector for OCaml [pdf]kcsrk.info
40 points by matt_d 10 days ago | 4 comments