Dave Berry wrote:
> I give some references below, but I have to add several caveats to my
> remarks.  I don't have all these papers, so I can't check exactly what they
> cover.

Just in case someone has not yet found this extremely useful site:
You can always find literature related to some topic if you look at
citeseer. Say, you start with one item from Dave's list like
http://citeseer.nj.nec.com/remy91type.html
and then surf around along the links to related, cited or similar
documents. But don't waste you whole day there :-).

Yours, Florian.
-------------------
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