[PL-sem-jr] PL Jr next week

[Jonathan Schuster]

I'm told the Moggi paper (Computational lambda-calculus and monads) is the
original use of monads in a PL setting, which sounds interesting to me. I'd
also like to see the Expressiveness paper at some point, but don't mind
doing that one some other week.

On Thu, Aug 2, 2012 at 5:57 PM, Justin R. Slepak <jrslepak at ccs.neu.edu>wrote:

> 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
>
>
> _______________________________________________
> Pl-sem-jr mailing list
> Pl-sem-jr at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr
>
-------------- next part --------------
HTML attachment scrubbed and removed