Lambda the Ultimate

inactiveTopic Type Systems for Modularity
started 10/17/2002; 2:33:23 PM - last post 10/23/2002; 1:20:38 AM
Ehud Lamm - Type Systems for Modularity  blueArrow
10/17/2002; 2:33:23 PM (reads: 1395, responses: 4)
Type Systems for Modularity
A graduate seminar given by Harper at CMU.

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

Michael Vanier - Re: Type Systems for Modularity  blueArrow
10/18/2002; 5:00:22 PM (reads: 542, responses: 0)
Wow, what a gold mine of interesting papers! Maybe this should be added to the Research Papers section.

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?

Ehud Lamm - Re: Type Systems for Modularity  blueArrow
10/22/2002; 8:16:24 AM (reads: 514, responses: 0)
Michael, sorry for not responding sooner, I am busy inventing silly exam questions (for a SE course, as it happens).

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

Michael Vanier - Re: Type Systems for Modularity  blueArrow
10/22/2002; 7:19:50 PM (reads: 490, responses: 1)
The reason I think the Mozilla book is important is that it brings together a bunch of disparate programming technologies (XML, javascript, and CSS, mainly, but also C/C++ and java) to create a framework for creating new applications. I think this is relevant to software engineering, in particular for the programming of graphical user interfaces, which is trivially easy using the Mozilla method but astonishingly hard in any other approach I've ever tried (even with something like tcl/Tk). I think the reason the Mozilla approach works where more traditional approaches fail is that GUIs are more properly thought of as data with a little bit of code rather than just as code, and that's how Mozilla's XUL (extensible user-interface language) treats them.

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

Ehud Lamm - Re: Type Systems for Modularity  blueArrow
10/23/2002; 1:20:38 AM (reads: 523, responses: 0)
No problems. If you find it ineteresting, it's worth mentioning on LtU.