Hacker Next
A mechanically verified garbage collector for OCaml [pdf]kcsrk.info
38 points by matt_d 5 days ago | 4 comments