[PL-sem-jr] PL Jr next week

[Justin R. Slepak]

For additional explanation of Moggi's rather dense writing, it may be a good idea to look at Wadler's "Comprehending Monads" and "The Essence of Functional Programming" (both available at http://homepages.inf.ed.ac.uk/wadler/topics/monads.html ).


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

----- Original Message -----
From: Justin R. Slepak <jrslepak at ccs.neu.edu>
To: pl-sem-jr at lists.ccs.neu.edu
Sent: Mon, 6 Aug 2012 12:33:20 -0400 (EDT)
Subject: Re: [PL-sem-jr] PL Jr next week

The paper for this week will be Moggi's monad paper. If you print it out, you may want to scale it down, as the top margin is rather small.

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

----- Original Message -----
From: Jonathan Schuster <schuster at ccs.neu.edu>
To: Justin R. Slepak <jrslepak at ccs.neu.edu>
Cc: pl-sem-jr at lists.ccs.neu.edu
Sent: Thu, 2 Aug 2012 18:01:37 -0400 (EDT)
Subject: Re: [PL-sem-jr] PL Jr next week

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
>


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