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 VAA21336 for caml-red; Thu, 21 Sep 2000 21:27:06 +0200 (MET DST) 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 SAA16434 for ; Thu, 21 Sep 2000 18:05:10 +0200 (MET DST) Received: from mailgate.nau.edu (mailgate.nau.edu [134.114.96.19]) by nez-perce.inria.fr (8.10.0/8.10.0) with ESMTP id e8LG53j28569; Thu, 21 Sep 2000 18:05:08 +0200 (MET DST) Received: from dagobah.cet.nau.edu (dagobah.cet.nau.edu [134.114.64.8]) by mailgate.nau.edu (PMDF V5.2-32 #39840) with ESMTP id <0G18002IVVCCS2@mailgate.nau.edu>; Thu, 21 Sep 2000 09:05:00 -0700 (MST) Received: from coruscant.cse.nau.edu (coruscant [134.114.64.2]) by dagobah.cet.nau.edu (8.9.3+Sun/8.8.3-cet1.0) with ESMTP id JAA03652; Thu, 21 Sep 2000 09:04:41 -0700 (MST) Received: from localhost (rbw3@localhost) by coruscant.cse.nau.edu (8.9.3+Sun/8.9.3/cet2.0) with ESMTP id JAA04908; Thu, 21 Sep 2000 09:04:36 -0700 (MST) Date: Thu, 21 Sep 2000 09:04:36 -0700 (MST) From: Brock Subject: Re: ICFP programming contest: results In-reply-to: <20000921091256.57192@pauillac.inria.fr> To: Xavier Leroy Cc: caml-list@inria.fr Message-id: MIME-version: 1.0 Content-type: TEXT/PLAIN; charset=X-UNKNOWN Content-transfer-encoding: QUOTED-PRINTABLE X-Authentication-warning: coruscant.cse.nau.edu: rbw3 owned process doing -bs Sender: weis@pauillac.inria.fr On Thu, 21 Sep 2000, Xavier Leroy wrote: > ... > Second prize: the Camls 'R Us team from INRIA Rocquencourt > (S. Ailleret, P. Cuoq, D. Doligez, R. Harley, F. Le Fessant, X. Leroy, > A. Schmitt). Language used: OCaml. > ... >=20 > Not a bad year for OCaml. And my personal congratulations to J=E9r=F4me > Vouillon and his friends for a truly outstanding performance! >=20 > - Xavier Leroy >=20 And to you at the Camls 'R Us team as well. --Brock