Sites Inria

Séminaire Gallium

Séminaire Gallium - CAMLroot : revisiting the OCaml FFI

  • Date : 21/01/2019
  • Lieu : 2 rue Simone Iff 75012, Salle JLL1, bât. C - 10h30
  • Intervenant(s) : Frédéric Bour
  • Organisateur(s) : Equipe Gallium

CAMLroot: revisiting the OCaml FFI

Frédéric Bour, Facebook

The OCaml language comes with an expressive and efficient FFI. However this FFI is also low-level and error-prone. Mistakes can go unnoticed for a long time and cause problems in unrelated places, especially if the state of the runtime is corrupted. In this work, we explore two complementary approaches to mitigate these issues.

Mots-clés : Séminaire Gallium OCaml FFI Caml

Haut de page

Suivez Inria