## University of California, Berkeley: Paul Hilfinger's "Static Semantics Overview"

Study slides 1 - 7. Note that these slides are associated with the lecture below.