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 OAA16603; Thu, 28 Jun 2001 14:51:11 +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 OAA16613 for ; Thu, 28 Jun 2001 14:51:11 +0200 (MET DST) Received: from morgon.inria.fr (morgon.inria.fr [128.93.8.33]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f5SCp7127843; Thu, 28 Jun 2001 14:51:07 +0200 (MET DST) Received: (from remy@localhost) by morgon.inria.fr (8.9.3/8.9.3) id OAA19570; Thu, 28 Jun 2001 14:54:15 +0200 Date: Thu, 28 Jun 2001 14:54:15 +0200 From: Didier Remy To: Brian Rogoff Cc: caml-list@inria.fr Subject: Re: [Caml-list] ocaml complexity Message-ID: <20010628145414.A19554@morgon.inria.fr> Reply-To: Didier.Remy@inria.fr References: <200106132104.OAA08015@mrs.mrs.med.ge.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 1.0pre3us In-Reply-To: Organization: INRIA, BP 105, F-78153 Le Chesnay Cedex Phone: (33) 1 3963 5317 -- Sec: (33) 1 3963 5570 -- Fax: (33) 1 3963 5684 Web: http://cristal.inria.fr/~remy Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > http://cristal.inria.fr/~remy/cours/appsem/ > > which I think is just wonderful, but I don't think its for the beginning > OCaml'er. It's for a more sophisticated programmer, and delves into type > theory issues. Indeed, these notes were aimed at an advanced audience (master level or more). Actually, I have just finished a first revision of these notes (thanks, Brian for your support). Mainly, I fixed some typos, improved the presentation and added exercises. The size also increased by 40%. I might do a second revision in the fall. > > http://cristal.inria.fr/~remy/isia/ > > This is in French, which would be a problem for a lot of programmers that > I know. Interestingly, I seem to have picked up enough written French from > reading this list (with a dictionary and some phrasebooks of course) that > I could read almost all of this. Conversely, the ISIA notes were written for Ocaml beginners without much theoretical background. I included some of this material into the APPSEM notes and I may add more in the future. > If Didier would like to make the TeX > available, I could take a stab at translating this. This would not be a problem for me, but there could be redundancy with my APPSEM notes. Didier ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr