There is a presentation in Paris about GCC. The guy have work also for ocaml and for INRIA (the french public research center in computer science) ( http://www.starynkevitch.net/Basile/ ). http://linuxfr.org/2008/11/12/24670.html Nicolas