Other dissemination activities
Arthur Charguéraud is co-trainer of the French team for the International Olympiads in Informatics (IOI). He participates in the France-IOI association , which aims at promoting programming and algorithmics among high-school students.
After providing computer expertise for an experimental study of a wild tit population in 2003, Damien Doligez helped write the corresponding paper [Oops!] .
Maxence Guesdon maintains the Caml web site ( http://caml.inria.fr/ ) and especially the Caml Humps ( http://caml.inria.fr/humps/ ), a comprehensive Web index of about 500 Caml libraries, tools and tutorials contributed by Caml users. This Web site contributes significantly to the visibility of the Caml language.
Boris Yakobowski wrote a tutorial paper on how to use polymorphic variants to reuse code and statically guarantee more properties [Oops!] . This paper is to be presented at Journées Francophones des Langages Applicatifs in January.