[PRL] POPL pc meeting

[Dave Herman]

I'd be interested in hearing Dan Grossman talk about Cyclone, memory 
management, or transactions; Craig Chambers about his recent work on 
parameterized modules/extensible functions and/or his work on automated 
proofs; David Walker on his AOP work.

Dave

Matthias Felleisen wrote:
> The POPL PC will meet on Sept 9 and 10 here at Northeastern.
> The PC is listed at
>   -> http://www.cs.ucsd.edu/popl/07/
> 
> If there is interest, I can run a workshop the day before, with
> speakers from this list. So let me know who you're interested in
> seeing.
> 
> -- Matthias
> 
> 
> 
> _______________________________________________
> PRL mailing list
> PRL at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/prl