From: David Monniaux <David.Monniaux@ens-lyon.fr>
To: Charlotte Truchet <truchet@clipper.ens.fr>
Cc: caml-list@inria.fr
Subject: Re: Images en Caml
Date: Fri, 28 Mar 1997 13:04:36 +0100 (MET) [thread overview]
Message-ID: <Pine.GSO.3.95.970328124448.2331B-100000@claude> (raw)
In-Reply-To: <v02140b00af613e7e2573@[194.250.128.14]>
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
next prev parent reply other threads:[~1997-03-28 14:06 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-03-28 9:30 Charlotte Truchet
1997-03-28 12:04 ` David Monniaux [this message]
1997-03-28 14:58 ` Pierre Weis
1997-03-28 14:48 Gerard Huet
1997-03-28 15:22 Guy.Cousineau
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=Pine.GSO.3.95.970328124448.2331B-100000@claude \
--to=david.monniaux@ens-lyon.fr \
--cc=caml-list@inria.fr \
--cc=truchet@clipper.ens.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox