[PL-sem-jr] PL Jr next week

[Aaron Turon]

The first paper is distinct from (and a follow up to) the paper
"Representing Monads", which is I think what was actually proposed.
It might be better to start with the earlier paper, which is already a
challenge to understand :-)

Aaron

On Thu, Aug 2, 2012 at 12:49 PM, Justin R. Slepak <jrslepak at ccs.neu.edu> wrote:
> 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.
>
> _______________________________________________
> Pl-sem-jr mailing list
> Pl-sem-jr at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr