The page includes lecture slides, and links to relevant papers. The papers themselves make a great reading list about module system from a type theoretic point of view. Most of the issues discussed are important for any discussion of module systems, type centric or otherwise.
A personal favorite is Mitchell and Plotkin's Abstract Types Have Existential Type. Felleisen and Flatt's units paper is also worth checking.
Notice that the LtU department Software-Eng is for items relating to the role of programming languages in software engineering. This includes things like module systems, DbC etc.
Posted to Software-Eng by Ehud Lamm on 10/17/02; 2:41:04 PM
Just out of curiosity, are you referring to the fact that I posted the Mozilla book to Software-Eng? If so, where should I have posted it to?
It all depends why you think the Mozilla book is of interest from a programming language point of view. If it isn't, it shouldn't be linked from LtU. If it is of interest because it tells us something about PL as related to SE, then you chose the right department.
Let me just add that if an editor thinks something is so interesting as to be worth mentioning even though it isn't related to programming languages -- he is free to post it. Let's jsut try not to do this too often, so we not lose our focus.
The way I see it the Mozilla book is of interest, but I would have put it in the general dept. But that's just me...
Is this relevant to programming languages per se? Perhaps not directly, but it involves cross-language interactions and, more importantly, it impacts directly on what makes it hard to develop applications, which is the problem programming languages are supposed to solve. So I defend my decision to post the link where I did, although I recognize it's something on which reasonable people can hold different opinions ;-)