OK, as long as we are at it, the first few chapters of Mark Lillibridge's 
thesis are also acceptable to the lay reader, though reading the whole 
thing is overkill for the "working programmer" (as opposed to the 
unemployed type theorist ;-)

This page has just the parts that Chris (and probably others) want to
read. 

http://citeseer.nj.nec.com/lillibridge97translucent.html

Since lots of people have issues with the amount of documentation, it
might be helpful if, once that person has an answer to their question, 
they write the text that they wish they'd seen in the first place, and 
submit it for inclusion in the Caml docs. I'm thinking of doing something
like that for the various "mutual recursion" issues, if there is interest.
Of course, I hope Tom and crew make such a document irrelevant by fixing 
the problems...

-- Brian

On Tue, 20 Mar 2001, Tom Hirschowitz wrote:

> I liked too the three first chapters of Claudio Russo's thesis 
> 
> http://www.dcs.ed.ac.uk/home/cvr/ECS-LFCS-98-389.html
> 
> for a more abstract but very clear analysis.
> 
> I'm just reading the next ones at the moment.
> 
> Brian Rogoff a écrit :
> > 
> > On Wed, 14 Mar 2001, Chris Hecker wrote:
> > >
> > > Coming from a C++ background, my idea of a module is a text file on the hard disk.  Obviously, they're a bit more powerful than that in OCaml.  Is there a good reference (book, tutorial paper, website, whatever) that talks about modules in an in-depth way?  I've read the chapter 4 on them in the help materials, and I want more.  I was trying to understand the group example someone posted to the list a few days back, and I think I need to find a good book or something to understand the real power of modules.
> > >
> > > Thanks,
> > 
> > Some guy wrote a paper I found helpful, but the example code is in a very
> > strange language that nobody uses, instead of C++ or Java.
> > 
> >      * A modular module system, Journal of Functional Programming 10(3),
> >        2000. Full source code available in the Web appendix.
> > 
> > You can get it from here
> > 
> > http://pauillac.inria.fr/~xleroy/
> > 
> > -- Brian
> > 
> > -------------------
> > To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr
> -------------------
> To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr
> 

-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr