16 September 2022, 15:00
Nathanaëlle Courant (OCamlPro, Inria)
In this talk, I will present Camlboot, a project which debootstraps the OCaml compiler, that is, is able to compile the OCaml compiler without using the bootstrap binary. Camlboot consists in a naïve compiler for a subset of OCaml called MiniML, and an interpreter for OCaml written in MiniML. I will first justify the interest of debootstrapping, then explain the architecture and parts of Camlboot, and finally present the experimental validation of Camlboot.
Videos published under CC-BY 3.0. Brought to you thanks to the support of the Debian video team. Guix graphics by Luis Felipe.
  • IRILL
  • Software Heritage
  • Inria
  • GRICAD
  • Meso@LR
  • Guix