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

[Sam Caldwell]

I vote we do that two weeks from now, since we don't have anything scheduled
for then anyway.

On Tue, Mar 22, 2016 at 2:43 PM, Benjamin Greenman <types at ccs.neu.edu>
wrote:

> 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
>>
>
>
> _______________________________________________
> 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