paper suggestions for some current topics

Any help with good starter papers in these areas would be appreciated! Prior knowledge would probably be around TAPL level. I'm hoping for papers that are a) primary sources b) clean/modern formalizations or c) provide perspective (or a retrospective). A mixture of b) and c) would probably be ideal :) Realistically, book chapters are less useful than papers, unless they're from a relatively common text (CTM, etc.) or freely available. Talks/slides might be good too.

I have guesses for a couple, but the community here can probably do significantly better and help suggest which makes the most sense for the goal.

1. Dependent Types
- "Simply Easy! (An Implementation of Dependently Typed Lambda Calculus)"
- "Why Dependent Types Matter"
- TAPL 23,25

2. Concatenative languages (pure & typed? impure? optimized?)

3. Concurrency/distribution/communication calculi
- "A calculus of mobile processes"
4. Linear naming / typing

5,6. Modal logic (with an eye to distributed comp.), separation logic (distrib. comp or heap sep.)
- likely papers from CMU :)

Again, any help would be appreciated!

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

On process calculi

You can find a good historical perspective on process calculi in Baeten's A Brief History of Process Algebra. Another excellent resource is the collection of papers from the BRICS workshop Algebraic Process Calculi: the first 25 years and beyond. It includes both retrospectives from some of the pioneers in the field, and discussions of current and future areas of promising research. For some real depth (albeit with a CSP focus), Bill Roscoe's great 1998 CSP text The Theory and Practice of Concurrency is now available online. It gives a good tutorial introduction to CSP, as well as delving deep into the algebraic, operational, and denotational semantics of CSP and discussing some practical case studies.