[PL-sem-jr] PL Jr next week

[Justin R. Slepak]

So far we have a response, "the expressiveness paper is the only one that looks interesting," and another response "don't do the expressiveness paper while I'm out of town." The best solution seems to be finding some other paper.

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

----- Original Message -----
From: Aaron Turon <turon at ccs.neu.edu>
To: pl-sem-jr at lists.ccs.neu.edu
Sent: Thu, 2 Aug 2012 13:18:01 -0400 (EDT)
Subject: Re: [PL-sem-jr] PL Jr next week

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

_______________________________________________
Pl-sem-jr mailing list
Pl-sem-jr at lists.ccs.neu.edu
https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr