From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA16579; Wed, 2 Jul 2003 15:15:43 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA16157 for ; Wed, 2 Jul 2003 15:15:41 +0200 (MET DST) Received: from post.bourget.univ-savoie.fr (post.bourget.univ-savoie.fr [193.48.120.73]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h62DFff13116 for ; Wed, 2 Jul 2003 15:15:41 +0200 (MET DST) Received: from univ-savoie.fr (d85.lama.univ-savoie.fr [193.48.123.85]) by post.bourget.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id h62DFMt8024273 ; Wed, 2 Jul 2003 15:15:23 +0200 Message-ID: <3F02DAFF.1000309@univ-savoie.fr> Date: Wed, 02 Jul 2003 15:15:43 +0200 From: Christophe Raffalli User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.1) Gecko/20020826 X-Accept-Language: en-us, en MIME-Version: 1.0 To: Mark Shinwell CC: freshml@freshml.org, types@cis.upenn.edu, caml-list@inria.fr, theory@cl.cam.ac.uk Subject: Re: [Caml-list] Fresh Objective Caml References: <1057069397.28071.5869.camel@pot> X-Enigmail-Version: 0.65.2.0 X-Enigmail-Supports: pgp-inline, pgp-mime Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enigB3CA70DF39724CF4BEFD7743" X-Spam: no; 0.00; raffalli:01 univ-savoie:01 caml-list:01 openpgp:01 2440:01 3156:01 3.07:01 savoie:01 chablais:01 73376:01 lama:01 enigmail:01 mutt:01 christophe:01 ocaml:01 X-Attachments: type="application/pgp-signature" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --------------enigB3CA70DF39724CF4BEFD7743 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit Mark Shinwell wrote: > FRESH OBJECTIVE CAML > > > On behalf of the FreshML research project at the University of Cambridge > Computer Laboratory, I am pleased to announce the availability of Fresh > Objective Caml. > > What is it? > > Fresh O'Caml is an extension of the Objective Caml language > with facilities for correctly manipulating > object-language syntax involving alpha-convertible names and binding > operations. Will this be part of ocaml 3.07 ? -- Christophe Raffalli Université de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex tél: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI --------------------------------------------- IMPORTANT: this mail is signed using PGP/MIME At least Enigmail/Mozilla, mutt or evolution can check this signature --------------------------------------------- --------------enigB3CA70DF39724CF4BEFD7743 Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.7 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQE/Atr/SQDyWB/+xBwRAk5dAJ4mDMTfJZAVLC5uDf74NXOEZeyGyQCeN0Vr XBSmr3dcf+3hAWEhA08pbXw= =B+ky -----END PGP SIGNATURE----- --------------enigB3CA70DF39724CF4BEFD7743-- ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners