Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re: [Caml-list] ocaml complexity
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Didier Remy <Didier.Remy@i...>
Subject: Re: [Caml-list] ocaml complexity
> 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