Certified Development Tools Implementation in Objective Caml.

Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colao, Thomas Moniot, Philippe Wang

Browse the full PADL paper archive.