[PL-sem-jr] k-CFA Feb. 10, 10am

[Leif Andersen]

We will be in WVH 164 for this talk.

~Leif Andersen


On Tue, Feb 9, 2016 at 10:53 PM, B. C. <ckfinite at gmail.com> wrote:
> In the 10-10 instance of pl-jr, we'll be talking about techniques for
> control flow analysis in higher-order languages. I'll be discussing the
> first 5 chapters of Matt Might's thesis, available here:
> http://matt.might.net/papers/might2007diss.pdf
>
> _______________________________________________
> Pl-sem-jr mailing list
> Pl-sem-jr at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr
>