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