@inproceedings{ICFP-2009-CuoqSBBCCMPP,
	author        = "Pascal Cuoq and Julien Signoles and Patrick Baudin and Richard Bonichon and Géraud Canet and Loïc Correnson and Benjamin Monate and Virgile Prevosto and Armand Puccetti",
	booktitle     = "{Proceedings of the 14th International Conference on Functional Programming}",
	doi           = "10.1145/1596550.1596591",
	editor        = "Graham Hutton and Andrew P. Tolmach",
	isbn          = "978-1-60558-332-7",
	pages         = "281--286",
	publisher     = "{ACM}",
	title         = "{Experience report: OCaml for an industrial-strength static analysis framework}",
	year          = 2009,
}