Using OxCaml to implement type-safe reference counting between OCaml and Python
Jane Street introduces OxCaml, a technique for embedding Python interpreters in OCaml programs that uses a type-safe reference-counting mechanism to safely manage cross-language object lifetimes between OCaml and Python.