Dhruv Maroo

Latest

• A Mechanically Verified Garbage Collector for OCaml