Karthikeyan Bhargavan

Latest

• A Mechanically Verified Garbage Collector for OCaml