Team Gallium

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Dissemination

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 ( ) and especially the Caml 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.


Logo Inria