[PRL] Fwd: [TYPES/announce] Habil. Thesis: Language Design for Atomicity, Declarative Synchronization, and Dynamic Update

[Riccardo Pucella]

----- "Mitchell Wand" <wand at ccs.neu.edu> wrote:

> For the reading list...   Anybody want to look at this to see if it
> should be presented at pl-seminar?
>

Certainly looks interesting enough. 

(I doubt I can give it more than a cursory look however.)

 Cheers,
 R