[PL-sem-jr] PL Jr next week

[Justin R. Slepak]

Our next meeting will be Friday August 10th from 2-4 in WVH 166. We are continuing the summer reading group format. The following papers have been nominated.

Representing Layered Monads
http://dl.acm.org/citation.cfm?id=292557

Computational lambda-calculus and monads
http://dl.acm.org/citation.cfm?id=77353

Separation Logic: A Logic for Shared Mutable Data Structures
http://dl.acm.org/citation.cfm?id=664578

On the Expressive Power of Programming Languages
http://dl.acm.org/citation.cfm?id=138493
www.ccs.neu.edu/racket/pubs/scp91-felleisen.ps.gz

Feel free to suggest other papers (for this week or for later). This might also be a good time to think about a topic you might like to present/hear about this coming semester.

---
Justin Slepak
PhD student, Computer Science dept.