Programming Language Type Systems

Possible Topics

Our first order of business is to try to agree on a general topic related to type systems and programming languages. Here are some suggestions:

Types of ambients, mobility, and wide-area computing. (A good starting point would be Luca Cardelli's publications. In particular "Types for the Ambient Calculus".
Web scripting: For example papers by Peter Thiemann like Wash/CGI: Server-Side Web Scripting with Sessions and Typed Compositional Forms. Also papers by Eric Meijer like Server side web scripting in Haskell.
HTML and XML. For example, A typed representation for HTML and XML documents in Haskell and Phil Wadler's papers and links.
Benjamin Pierce's book