[PL-sem-jr] 3/16 - Type-Directed Flow Analysis for Typed Intermediate Languages

[Brian LaChance]

This week, I'll be walking through the flow analysis framework
presented in Type-Directed Flow Analysis for Typed Intermediate
Languages [1]. If you're interested in a flavor of some related work
from that era, there's a neat retrospective [2] from the Typed
Intermediate Language folks.

See you Wednesday!

[1]: http://web.cs.ucla.edu/~palsberg/tba/papers/jagannathan-weeks-wright-sas97.pdf
[2]: https://www.cs.cmu.edu/~rwh/papers/til-retro/retrospective.pdf