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

[Benjamin Greenman]

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

(Email with attachment is on the way)

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