From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA12943 for caml-redistribution; Fri, 28 Mar 1997 15:06:20 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA11837 for ; Fri, 28 Mar 1997 13:04:10 +0100 (MET) Received: from cri.ens-lyon.fr (cri.ens-lyon.fr [140.77.1.32]) by nez-perce.inria.fr (8.7.6/8.7.3) with ESMTP id NAA11381 for ; Fri, 28 Mar 1997 13:04:08 +0100 (MET) Received: from claude (claude [140.77.181.105]) by cri.ens-lyon.fr (8.8.5/8.8.1) with ESMTP id NAA26417; Fri, 28 Mar 1997 13:04:06 +0100 (MET) Date: Fri, 28 Mar 1997 13:04:36 +0100 (MET) From: David Monniaux X-Sender: dmonniau@claude Reply-To: David Monniaux To: Charlotte Truchet cc: caml-list@inria.fr Subject: Re: Images en Caml In-Reply-To: Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=ISO-8859-1 Content-Transfer-Encoding: 8BIT Sender: weis Bonjour chère collègue, On Fri, 28 Mar 1997, Charlotte Truchet wrote: > Pour le journal La Recherche je prepare un article sur Caml. Helas un > article doit etre illustre, ce qui n'est pas facile pour un langage de > programmation ! Je suis donc en quete d'une image venant d'un programme > ecrit en Caml, si possible belle, si possible interessante, et surtout que > l'on soit autorise a reproduire. > La maquette peut faire des photos d'ecrans. Pourquoi ne pas montrer: - MMM, browser WWW - ocamlbrowser - Ensemble (http://simon.cs.cornell.edu/Info/Projects/Ensemble/overview.html) - Coq (surtout sous CtCoq) - voir les projets CROAP et COQ de l'INRIA > Si vous avez des propositions, merci de me repondre rapidement, car c'est > assez urgent ! Proposition: bien insister sur le côté "utilisable pour des programmes réels" et les applications industrielles (genre Coq utilisé par Dassault): le projet Cristal doit prouver qu'il sert à quelque chose... :-) Pour une fois que l'on peut faire de la pub pour un truc de recherche... :-) Cordialement, David Monniaux "Si l'informatique marchait, cela se saurait." Computer science student at ENS, Lyon, France http://www.ens-lyon.fr/~dmonniau