Experience report: OCaml for an industrial-strength static analysis framework.

Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Graud Canet, Loc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti

Browse the full ICFP paper archive.