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 PAA16940; Mon, 15 Apr 2002 15:18:41 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA15632 for caml-list@pauillac.inria.fr; Mon, 15 Apr 2002 15:18:40 +0200 (MET DST) 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 MAA13289 for ; Mon, 15 Apr 2002 12:29:15 +0200 (MET DST) Received: from shiva.jussieu.fr (shiva.jussieu.fr [134.157.0.129]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g3FATFD27878 for ; Mon, 15 Apr 2002 12:29:15 +0200 (MET DST) Received: from foobar.pps.jussieu.fr (IDENT:root@helium.pps.jussieu.fr [134.157.168.2]) by shiva.jussieu.fr (8.12.1/jtpda-5.4) with ESMTP id g3FATEYD033814 ; Mon, 15 Apr 2002 12:29:14 +0200 (CEST) Received: from beryllium.pps.jussieu.fr (IDENT:dicosmo@foobar.pps.jussieu.fr [134.157.168.2]) by foobar.pps.jussieu.fr (8.11.0/jtpda-5.3.2) with ESMTP id g3FAcdn13612 ; Mon, 15 Apr 2002 12:38:39 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <15546.39616.18434.45215@localhost.localdomain> Date: Mon, 15 Apr 2002 11:17:52 +0200 To: Vincent Foley Cc: caml-list@inria.fr Subject: Re: [Caml-list] courses using Ocaml X-Mailer: VM 7.03 under 21.1 (patch 9) "Canyonlands" XEmacs Lucid Reply-To: Roberto Di Cosmo From: roberto@dicosmo.org Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > Vincent Foley wrote: >> P.S.: I also meant to ask: does anyone know schools where students are >> given programming classes with O'Caml? At the university of Paris VII, Ocaml is used in a third year course on programming languages and in the compilation course (4th year), with full satisfaction of teachers and students... --Roberto Di Cosmo ------------------------------------------------------------------ Professeur (on leave at/detache a INRIA Roquencourt) PPS E-mail: roberto@dicosmo.org Universite Paris VII WWW : http://www.dicosmo.org Case 7014 Tel : ++33-(1)-39 63 52 77 2, place Jussieu Fax : ++33-(1)-44 27 68 49 F-75251 Paris Cedex 05 FRANCE. MIME/NextMail accepted ------------------------------------------------------------------ Office location: Paris VII INRIA Roquencourt Bureau 6C14 (6th floor) Bureau 820, Batiment 8 175, rue du Chevaleret, XIII Metro Chevaleret, ligne 6 Roquencourt ------------------------------------------------------------------ ------------------- 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