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