Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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
> 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

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. 

> >
> 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. 


Bug reports:  FAQ:
To unsubscribe, mail  Archives: