Browse thread
Re: [Caml-list] ocaml complexity
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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