[PL-sem-jr] No PL jr this week

[Benjamin Greenman]

Can we instead have a discussion group on _Subgoal Induction_ (from 10pl)?


On Tue, Mar 22, 2016 at 2:29 PM, Andrew Cobb <andrew.cobb at gmail.com> wrote:

> Instead, we will resume next week with me talking about partial evaluation
> (details still being nailed down).
>
> --
>   Andrew
>
>
> _______________________________________________
> 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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: subgoal.pdf
Type: application/pdf
Size: 1305058 bytes
Desc: not available
URL: <http://lists.ccs.neu.edu/pipermail/pl-sem-jr/attachments/20160322/42dd3b2a/attachment-0001.pdf>